Mercurial > cpdt > repo

comparison staging/updates.rss @ 537:148f3ab2b5d6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
RSS announcement of 8.5 tweaks
author Adam Chlipala <adam@chlipala.net>
date Wed, 05 Aug 2015 18:10:08 -0400
parents 4a4a9893c57f
children c8d01fb69970
comparison
equal deleted inserted replaced
536:d65e9c1c9041 537:148f3ab2b5d6
10 <managingEditor>adam@chlipala.net</managingEditor> 10 <managingEditor>adam@chlipala.net</managingEditor>
11 <webMaster>adam@chlipala.net</webMaster> 11 <webMaster>adam@chlipala.net</webMaster>
12 <docs>http://blogs.law.harvard.edu/tech/rss</docs> 12 <docs>http://blogs.law.harvard.edu/tech/rss</docs>
13 13
14 <item> 14 <item>
15 <title>Book source updated for Coq 8.5</title>
16 <pubDate>Wed, 5 Aug 2015 18:08:34 EDT</pubDate>
17 <link>http://adam.chlipala.net/cpdt/</link>
18 <author>adamc@csail.mit.edu</author>
19 <description>The online versions of the book have been updated with code that builds not only in Coq version 8.4, current at the time that the print book was released, but now also builds in Coq 8.5, which is in beta release now.</description>
20 </item>
21
22 <item>
15 <title>CPDT now available in print!</title> 23 <title>CPDT now available in print!</title>
16 <pubDate>Fri, 13 Dec 2013 13:05:17 EST</pubDate> 24 <pubDate>Fri, 13 Dec 2013 13:05:17 EST</pubDate>
17 <link>http://adam.chlipala.net/cpdt/</link> 25 <link>http://adam.chlipala.net/cpdt/</link>
18 <author>adamc@csail.mit.edu</author> 26 <author>adamc@csail.mit.edu</author>
19 <description>I'm happy to report that the print version of the book has been released officially! My web site for the book now includes links to online purchasing options.</description> 27 <description>I'm happy to report that the print version of the book has been released officially! My web site for the book now includes links to online purchasing options.</description>