Mercurial > cpdt > repo

comparison staging/updates.rss @ 308:d092baf477ae

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New release
author Adam Chlipala <adam@chlipala.net>
date Thu, 25 Aug 2011 14:55:38 -0400
parents 921d6936c11d
children 44f9ca08e173
comparison
equal deleted inserted replaced
307:d2cb78f54454 308:d092baf477ae
8 8
9 <language>en-us</language> 9 <language>en-us</language>
10 <managingEditor>adam@chlipala.net</managingEditor> 10 <managingEditor>adam@chlipala.net</managingEditor>
11 <webMaster>adam@chlipala.net</webMaster> 11 <webMaster>adam@chlipala.net</webMaster>
12 <docs>http://blogs.law.harvard.edu/tech/rss</docs> 12 <docs>http://blogs.law.harvard.edu/tech/rss</docs>
13
14 <item>
15 <title>A pass through Chapter 1</title>
16 <pubDate>Thu, 25 Aug 2011 14:47:30 EDT</pubDate>
17 <link>http://adam.chlipala.net/cpdt/</link>
18 <author>adamc@csail.mit.edu</author>
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>
20 </item>
13 21
14 <item> 22 <item>
15 <title>Tweaks to recent update to satisfy coqdoc 8.3</title> 23 <title>Tweaks to recent update to satisfy coqdoc 8.3</title>
16 <pubDate>Tue, 18 Jan 2011 08:15:00 EST</pubDate> 24 <pubDate>Tue, 18 Jan 2011 08:15:00 EST</pubDate>
17 <link>http://adam.chlipala.net/cpdt/</link> 25 <link>http://adam.chlipala.net/cpdt/</link>