annotate staging/updates.rss @ 318:70e51e8cfce7

New InductiveTypes exercises and difficulty markings
author Adam Chlipala <adam@chlipala.net>
date Mon, 12 Sep 2011 16:42:51 -0400
parents d5787b70cf48
children 6838c7be18fa
rev   line source
adamc@268 1 <?xml version="1.0" encoding="utf-8" ?>
adamc@268 2 <rss version="2.0">
adamc@268 3 <channel>
adamc@268 4
adamc@268 5 <title>Certified Programming with Dependent Types updates</title>
adamc@268 6 <link>http://adam.chlipala.net/cpdt/</link>
adamc@268 7 <description>Updates to a draft textbook</description>
adamc@268 8
adamc@268 9 <language>en-us</language>
adamc@270 10 <managingEditor>adam@chlipala.net</managingEditor>
adamc@270 11 <webMaster>adam@chlipala.net</webMaster>
adamc@268 12 <docs>http://blogs.law.harvard.edu/tech/rss</docs>
adamc@268 13
adamc@268 14 <item>
adam@314 15 <title>Renamed "Tactics" module to "CpdtTactics"</title>
adam@314 16 <pubDate>Wed, 7 Sep 2011 13:45:31 EDT</pubDate>
adam@314 17 <link>http://adam.chlipala.net/cpdt/</link>
adam@314 18 <author>adamc@csail.mit.edu</author>
adam@314 19 <description>This avoids a name clash with a module included with Coq.</description>
adam@314 20 </item>
adam@314 21
adam@314 22 <item>
adam@313 23 <title>A pass through Chapter 2</title>
adam@313 24 <pubDate>Thu, 1 Sep 2011 11:32:42 EDT</pubDate>
adam@313 25 <link>http://adam.chlipala.net/cpdt/</link>
adam@313 26 <author>adamc@csail.mit.edu</author>
adam@313 27 <description>I've removed some material on dependent pattern-matching but not yet compensated by adding it back in somewhere else.</description>
adam@313 28 </item>
adam@313 29
adam@313 30 <item>
adam@308 31 <title>A pass through Chapter 1</title>
adam@308 32 <pubDate>Thu, 25 Aug 2011 14:47:30 EDT</pubDate>
adam@308 33 <link>http://adam.chlipala.net/cpdt/</link>
adam@308 34 <author>adamc@csail.mit.edu</author>
adam@308 35 <description>I've started passes through all chapters, with an eye toward getting ready both for <a href="http://stellar.mit.edu/S/course/6/fa11/6.892/">my fall class</a> and publication by MIT Press. I'm adding bibliographic references, index entries, and additional exercises, along with the usual tweaks and improvements. The version I've just put up is the result of a pass through Chapter 1. Feedback is especially welcome now, as I get the book into final publishable shape!</description>
adam@308 36 </item>
adam@308 37
adam@308 38 <item>
adam@303 39 <title>Tweaks to recent update to satisfy coqdoc 8.3</title>
adam@303 40 <pubDate>Tue, 18 Jan 2011 08:15:00 EST</pubDate>
adam@303 41 <link>http://adam.chlipala.net/cpdt/</link>
adam@303 42 <author>adam@chlipala.net</author>
adam@303 43 </item>
adam@303 44
adam@303 45 <item>
adam@299 46 <title>Updated to work with both Coq 8.3 and Coq 8.2</title>
adam@299 47 <pubDate>Fri, 14 Jan 2011 15:39:00 EST</pubDate>
adam@299 48 <link>http://adam.chlipala.net/cpdt/</link>
adam@299 49 <author>adam@chlipala.net</author>
adam@299 50 </item>
adam@299 51
adam@299 52 <item>
adam@293 53 <title>A significant revision pass, based on extensive feedback kindly provided by Pierre Castéran</title>
adam@293 54 <pubDate>Wed, 10 Nov 2010 16:33:49 EST</pubDate>
adam@293 55 <link>http://adam.chlipala.net/cpdt/</link>
adam@293 56 <author>adam@chlipala.net</author>
adam@293 57 </item>
adam@293 58
adam@293 59 <item>
adam@276 60 <title>Mention that recent versions of Coq allow some omitted "match" cases</title>
adam@276 61 <pubDate>Mon, 28 Jun 2010 07:59:29 EDT</pubDate>
adam@276 62 <link>http://adam.chlipala.net/cpdt/</link>
adam@276 63 <author>adam@chlipala.net</author>
adam@276 64 </item>
adam@276 65
adam@276 66 <item>
adamc@274 67 <title>A few small typo fixes</title>
adamc@274 68 <pubDate>Sat, 15 May 2010 06:42:47 EDT</pubDate>
adamc@274 69 <link>http://adam.chlipala.net/cpdt/</link>
adamc@274 70 <author>adam@chlipala.net</author>
adamc@274 71 </item>
adamc@274 72
adamc@274 73 <item>
adamc@270 74 <title>Fix table of contents and mention another command needed to enter Chapter 2's code literally</title>
adamc@270 75 <pubDate>Wed, 3 Feb 2010 08:16:16 EST</pubDate>
adamc@270 76 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270 77 <author>adam@chlipala.net</author>
adamc@270 78 </item>
adamc@270 79
adamc@270 80 <item>
adamc@268 81 <title>RSS feed created</title>
adamc@268 82 <pubDate>Wed, 27 Jan 2010 07:33:34 EST</pubDate>
adamc@268 83 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270 84 <author>adam@chlipala.net</author>
adamc@268 85 </item>
adamc@268 86
adamc@268 87 </channel>
adamc@268 88 </rss>