annotate staging/updates.rss @ 312:495153a41819

Pass through second half of StackMachine
author Adam Chlipala <adam@chlipala.net>
date Thu, 01 Sep 2011 11:32:15 -0400
parents d092baf477ae
children 44f9ca08e173
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@308 15 <title>A pass through Chapter 1</title>
adam@308 16 <pubDate>Thu, 25 Aug 2011 14:47:30 EDT</pubDate>
adam@308 17 <link>http://adam.chlipala.net/cpdt/</link>
adam@308 18 <author>adamc@csail.mit.edu</author>
adam@308 19 <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 20 </item>
adam@308 21
adam@308 22 <item>
adam@303 23 <title>Tweaks to recent update to satisfy coqdoc 8.3</title>
adam@303 24 <pubDate>Tue, 18 Jan 2011 08:15:00 EST</pubDate>
adam@303 25 <link>http://adam.chlipala.net/cpdt/</link>
adam@303 26 <author>adam@chlipala.net</author>
adam@303 27 </item>
adam@303 28
adam@303 29 <item>
adam@299 30 <title>Updated to work with both Coq 8.3 and Coq 8.2</title>
adam@299 31 <pubDate>Fri, 14 Jan 2011 15:39:00 EST</pubDate>
adam@299 32 <link>http://adam.chlipala.net/cpdt/</link>
adam@299 33 <author>adam@chlipala.net</author>
adam@299 34 </item>
adam@299 35
adam@299 36 <item>
adam@293 37 <title>A significant revision pass, based on extensive feedback kindly provided by Pierre Castéran</title>
adam@293 38 <pubDate>Wed, 10 Nov 2010 16:33:49 EST</pubDate>
adam@293 39 <link>http://adam.chlipala.net/cpdt/</link>
adam@293 40 <author>adam@chlipala.net</author>
adam@293 41 </item>
adam@293 42
adam@293 43 <item>
adam@276 44 <title>Mention that recent versions of Coq allow some omitted "match" cases</title>
adam@276 45 <pubDate>Mon, 28 Jun 2010 07:59:29 EDT</pubDate>
adam@276 46 <link>http://adam.chlipala.net/cpdt/</link>
adam@276 47 <author>adam@chlipala.net</author>
adam@276 48 </item>
adam@276 49
adam@276 50 <item>
adamc@274 51 <title>A few small typo fixes</title>
adamc@274 52 <pubDate>Sat, 15 May 2010 06:42:47 EDT</pubDate>
adamc@274 53 <link>http://adam.chlipala.net/cpdt/</link>
adamc@274 54 <author>adam@chlipala.net</author>
adamc@274 55 </item>
adamc@274 56
adamc@274 57 <item>
adamc@270 58 <title>Fix table of contents and mention another command needed to enter Chapter 2's code literally</title>
adamc@270 59 <pubDate>Wed, 3 Feb 2010 08:16:16 EST</pubDate>
adamc@270 60 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270 61 <author>adam@chlipala.net</author>
adamc@270 62 </item>
adamc@270 63
adamc@270 64 <item>
adamc@268 65 <title>RSS feed created</title>
adamc@268 66 <pubDate>Wed, 27 Jan 2010 07:33:34 EST</pubDate>
adamc@268 67 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270 68 <author>adam@chlipala.net</author>
adamc@268 69 </item>
adamc@268 70
adamc@268 71 </channel>
adamc@268 72 </rss>