Mercurial > cpdt > repo

diff 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
line wrap: on
line diff
--- a/staging/updates.rss	Wed Aug 05 18:07:57 2015 -0400
+++ b/staging/updates.rss	Wed Aug 05 18:10:08 2015 -0400
@@ -12,6 +12,14 @@
 <docs>http://blogs.law.harvard.edu/tech/rss</docs>
 
 <item>
+        <title>Book source updated for Coq 8.5</title>
+        <pubDate>Wed, 5 Aug 2015 18:08:34 EDT</pubDate>
+        <link>http://adam.chlipala.net/cpdt/</link>
+        <author>adamc@csail.mit.edu</author>
+        <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>
+</item>
+
+<item>
         <title>CPDT now available in print!</title>
         <pubDate>Fri, 13 Dec 2013 13:05:17 EST</pubDate>
         <link>http://adam.chlipala.net/cpdt/</link>