Mercurial > cpdt > repo
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>