Mercurial > cpdt > repo
comparison staging/updates.rss @ 554:93471096cdd4
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> |