Mercurial > cpdt > repo

comparison staging/updates.rss @ 554:93471096cdd4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge
author Adam Chlipala <adam@chlipala.net>
date Sat, 19 Aug 2017 12:14:40 -0400
parents c8d01fb69970
children c3d77f2bb92c
comparison
equal deleted inserted replaced
553:cb81f74d8c92 554:93471096cdd4
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.6</title>
16 <pubDate>Wed, 12 Jul 2017 14:56:07 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 with Coq 8.6, the latest version, as well as old versions 8.4 and 8.5.</description>
20 </item>
21
22 <item>
15 <title>Book source updated for Coq 8.5</title> 23 <title>Book source updated for Coq 8.5</title>
16 <pubDate>Wed, 5 Aug 2015 18:08:34 EDT</pubDate> 24 <pubDate>Wed, 5 Aug 2015 18:08:34 EDT</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>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> 27 <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>