changeset 537:148f3ab2b5d6

RSS announcement of 8.5 tweaks
author Adam Chlipala <adam@chlipala.net>
date Wed, 05 Aug 2015 18:10:08 -0400
parents d65e9c1c9041
children d53c077a630c
files staging/updates.rss
diffstat 1 files changed, 8 insertions(+), 0 deletions(-) [+]
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>