# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1438812608 14400
# Node ID 148f3ab2b5d66eeba34f93f9616b2363900e17e2
# Parent  d65e9c1c904105d53b1cf0cf8198df87d72a1b33
RSS announcement of 8.5 tweaks

diff -r d65e9c1c9041 -r 148f3ab2b5d6 staging/updates.rss
--- 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>