Skip to content

C
cpdt
Commit fb0ecce6 authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

RSS announcement of 8.5 tweaks

parent 434eb027
Show whitespace changes
Inline Side-by-side
Showing with 8 additions and 0 deletions
staging/updates.rss
View file @ fb0ecce6
...@@ -11,6 +11,14 @@ ...@@ -11,6 +11,14 @@
<webMaster>adam@chlipala.net</webMaster> <webMaster>adam@chlipala.net</webMaster>
<docs>http://blogs.law.harvard.edu/tech/rss</docs> <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> <item>
<title>CPDT now available in print!</title> <title>CPDT now available in print!</title>
<pubDate>Fri, 13 Dec 2013 13:05:17 EST</pubDate> <pubDate>Fri, 13 Dec 2013 13:05:17 EST</pubDate>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment