Mercurial > cpdt > repo
comparison staging/updates.rss @ 573:c3d77f2bb92c
Note 8.11 port
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 02 Feb 2020 10:51:18 -0500 |
parents | c8d01fb69970 |
children |
comparison
equal
deleted
inserted
replaced
572:a913f19955e2 | 573:c3d77f2bb92c |
---|---|
10 <managingEditor>adam@chlipala.net</managingEditor> | 10 <managingEditor>adam@chlipala.net</managingEditor> |
11 <webMaster>adam@chlipala.net</webMaster> | 11 <webMaster>adam@chlipala.net</webMaster> |
12 <docs>http://blogs.law.harvard.edu/tech/rss</docs> | 12 <docs>http://blogs.law.harvard.edu/tech/rss</docs> |
13 | 13 |
14 <item> | 14 <item> |
15 <title>Book source updated for Coq 8.11</title> | |
16 <pubDate>Sun, 2 Feb 2020 10:45:07 EST</pubDate> | |
17 <link>http://adam.chlipala.net/cpdt/</link> | |
18 <author>adamc@csail.mit.edu</author> | |
19 <description>The online book code has been updated for Coq 8.11, the latest version. Support for older versions isn't so great at this point, and I had to comment out content based on the <tt>quote</tt> tactic, which appears to have gone missing, but I decided to keep it in the book PDF.</description> | |
20 </item> | |
21 | |
22 <item> | |
15 <title>Book source updated for Coq 8.6</title> | 23 <title>Book source updated for Coq 8.6</title> |
16 <pubDate>Wed, 12 Jul 2017 14:56:07 EDT</pubDate> | 24 <pubDate>Wed, 12 Jul 2017 14:56:07 EDT</pubDate> |
17 <link>http://adam.chlipala.net/cpdt/</link> | 25 <link>http://adam.chlipala.net/cpdt/</link> |
18 <author>adamc@csail.mit.edu</author> | 26 <author>adamc@csail.mit.edu</author> |
19 <description>The online versions of the book have been updated with code that builds with Coq 8.6, the latest version, as well as old versions 8.4 and 8.5.</description> | 27 <description>The online versions of the book have been updated with code that builds with Coq 8.6, the latest version, as well as old versions 8.4 and 8.5.</description> |