annotate staging/updates.rss @ 335:1f57a8d0ed3d

Pass over Subset
author Adam Chlipala <adam@chlipala.net>
date Wed, 05 Oct 2011 11:32:13 -0400
parents c27d97176c85
children a45c07b97ab0
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@333 15 <title>New Match exercises; remove Part IV</title>
adam@333 16 <pubDate>Mon, 3 Oct 2011 11:18:27 EDT</pubDate>
adam@333 17 <link>http://adam.chlipala.net/cpdt/</link>
adam@333 18 <author>adamc@csail.mit.edu</author>
adam@333 19 <description>The old Part IV is still present in old versions available through the public Mercurial repository.</description>
adam@333 20 </item>
adam@333 21
adam@333 22 <item>
adam@325 23 <title>New chapter on logic programing</title>
adam@325 24 <pubDate>Thu, 22 Sep 2011 11:08:30 EDT</pubDate>
adam@325 25 <link>http://adam.chlipala.net/cpdt/</link>
adam@325 26 <author>adamc@csail.mit.edu</author>
adam@325 27 <description>Some new content is missing prose.</description>
adam@325 28 </item>
adam@325 29
adam@325 30 <item>
adam@322 31 <title>A pass through Chapter 4</title>
adam@322 32 <pubDate>Mon, 19 Sep 2011 14:03:40 EDT</pubDate>
adam@322 33 <link>http://adam.chlipala.net/cpdt/</link>
adam@322 34 <author>adamc@csail.mit.edu</author>
adam@322 35 </item>
adam@322 36
adam@322 37 <item>
adam@321 38 <title>Added a public Mercurial repository with the book source</title>
adam@321 39 <pubDate>Wed, 14 Sep 2011 14:01:23 EDT</pubDate>
adam@321 40 <link>http://adam.chlipala.net/cpdt/repo</link>
adam@321 41 <author>adamc@csail.mit.edu</author>
adam@321 42 </item>
adam@321 43
adam@321 44 <item>
adam@319 45 <title>A pass through Chapter 3</title>
adam@319 46 <pubDate>Mon, 12 Sep 2011 16:47:12 EDT</pubDate>
adam@319 47 <link>http://adam.chlipala.net/cpdt/</link>
adam@319 48 <author>adamc@csail.mit.edu</author>
adam@319 49 </item>
adam@319 50
adam@319 51 <item>
adam@314 52 <title>Renamed "Tactics" module to "CpdtTactics"</title>
adam@314 53 <pubDate>Wed, 7 Sep 2011 13:45:31 EDT</pubDate>
adam@314 54 <link>http://adam.chlipala.net/cpdt/</link>
adam@314 55 <author>adamc@csail.mit.edu</author>
adam@314 56 <description>This avoids a name clash with a module included with Coq.</description>
adam@314 57 </item>
adam@314 58
adam@314 59 <item>
adam@313 60 <title>A pass through Chapter 2</title>
adam@313 61 <pubDate>Thu, 1 Sep 2011 11:32:42 EDT</pubDate>
adam@313 62 <link>http://adam.chlipala.net/cpdt/</link>
adam@313 63 <author>adamc@csail.mit.edu</author>
adam@313 64 <description>I've removed some material on dependent pattern-matching but not yet compensated by adding it back in somewhere else.</description>
adam@313 65 </item>
adam@313 66
adam@313 67 <item>
adam@308 68 <title>A pass through Chapter 1</title>
adam@308 69 <pubDate>Thu, 25 Aug 2011 14:47:30 EDT</pubDate>
adam@308 70 <link>http://adam.chlipala.net/cpdt/</link>
adam@308 71 <author>adamc@csail.mit.edu</author>
adam@308 72 <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 73 </item>
adam@308 74
adam@308 75 <item>
adam@303 76 <title>Tweaks to recent update to satisfy coqdoc 8.3</title>
adam@303 77 <pubDate>Tue, 18 Jan 2011 08:15:00 EST</pubDate>
adam@303 78 <link>http://adam.chlipala.net/cpdt/</link>
adam@303 79 <author>adam@chlipala.net</author>
adam@303 80 </item>
adam@303 81
adam@303 82 <item>
adam@299 83 <title>Updated to work with both Coq 8.3 and Coq 8.2</title>
adam@299 84 <pubDate>Fri, 14 Jan 2011 15:39:00 EST</pubDate>
adam@299 85 <link>http://adam.chlipala.net/cpdt/</link>
adam@299 86 <author>adam@chlipala.net</author>
adam@299 87 </item>
adam@299 88
adam@299 89 <item>
adam@293 90 <title>A significant revision pass, based on extensive feedback kindly provided by Pierre Castéran</title>
adam@293 91 <pubDate>Wed, 10 Nov 2010 16:33:49 EST</pubDate>
adam@293 92 <link>http://adam.chlipala.net/cpdt/</link>
adam@293 93 <author>adam@chlipala.net</author>
adam@293 94 </item>
adam@293 95
adam@293 96 <item>
adam@276 97 <title>Mention that recent versions of Coq allow some omitted "match" cases</title>
adam@276 98 <pubDate>Mon, 28 Jun 2010 07:59:29 EDT</pubDate>
adam@276 99 <link>http://adam.chlipala.net/cpdt/</link>
adam@276 100 <author>adam@chlipala.net</author>
adam@276 101 </item>
adam@276 102
adam@276 103 <item>
adamc@274 104 <title>A few small typo fixes</title>
adamc@274 105 <pubDate>Sat, 15 May 2010 06:42:47 EDT</pubDate>
adamc@274 106 <link>http://adam.chlipala.net/cpdt/</link>
adamc@274 107 <author>adam@chlipala.net</author>
adamc@274 108 </item>
adamc@274 109
adamc@274 110 <item>
adamc@270 111 <title>Fix table of contents and mention another command needed to enter Chapter 2's code literally</title>
adamc@270 112 <pubDate>Wed, 3 Feb 2010 08:16:16 EST</pubDate>
adamc@270 113 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270 114 <author>adam@chlipala.net</author>
adamc@270 115 </item>
adamc@270 116
adamc@270 117 <item>
adamc@268 118 <title>RSS feed created</title>
adamc@268 119 <pubDate>Wed, 27 Jan 2010 07:33:34 EST</pubDate>
adamc@268 120 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270 121 <author>adam@chlipala.net</author>
adamc@268 122 </item>
adamc@268 123
adamc@268 124 </channel>
adamc@268 125 </rss>