annotate staging/updates.rss @ 337:4186722d329b

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