annotate staging/updates.rss @ 340:23b06f87bd30

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