Mercurial > cpdt > repo

comparison staging/updates.rss @ 552:c8d01fb69970

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
RSS update
author Adam Chlipala <adam@chlipala.net>
date Wed, 12 Jul 2017 14:57:20 -0400
parents 148f3ab2b5d6
children c3d77f2bb92c
comparison
equal deleted inserted replaced
551:dcb240e19167 552:c8d01fb69970
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>