annotate staging/updates.rss @ 343:be8c7aae20f4

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