annotate staging/updates.rss @ 305:690796f4690d

Further emphasize necessity and purpose of Set Implicit Arguments; tweak Makefile to support parallel builds
author Adam Chlipala <adam@chlipala.net>
date Wed, 03 Aug 2011 10:34:53 -0400
parents 921d6936c11d
children d092baf477ae
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@303 15 <title>Tweaks to recent update to satisfy coqdoc 8.3</title>
adam@303 16 <pubDate>Tue, 18 Jan 2011 08:15:00 EST</pubDate>
adam@303 17 <link>http://adam.chlipala.net/cpdt/</link>
adam@303 18 <author>adam@chlipala.net</author>
adam@303 19 </item>
adam@303 20
adam@303 21 <item>
adam@299 22 <title>Updated to work with both Coq 8.3 and Coq 8.2</title>
adam@299 23 <pubDate>Fri, 14 Jan 2011 15:39:00 EST</pubDate>
adam@299 24 <link>http://adam.chlipala.net/cpdt/</link>
adam@299 25 <author>adam@chlipala.net</author>
adam@299 26 </item>
adam@299 27
adam@299 28 <item>
adam@293 29 <title>A significant revision pass, based on extensive feedback kindly provided by Pierre Castéran</title>
adam@293 30 <pubDate>Wed, 10 Nov 2010 16:33:49 EST</pubDate>
adam@293 31 <link>http://adam.chlipala.net/cpdt/</link>
adam@293 32 <author>adam@chlipala.net</author>
adam@293 33 </item>
adam@293 34
adam@293 35 <item>
adam@276 36 <title>Mention that recent versions of Coq allow some omitted "match" cases</title>
adam@276 37 <pubDate>Mon, 28 Jun 2010 07:59:29 EDT</pubDate>
adam@276 38 <link>http://adam.chlipala.net/cpdt/</link>
adam@276 39 <author>adam@chlipala.net</author>
adam@276 40 </item>
adam@276 41
adam@276 42 <item>
adamc@274 43 <title>A few small typo fixes</title>
adamc@274 44 <pubDate>Sat, 15 May 2010 06:42:47 EDT</pubDate>
adamc@274 45 <link>http://adam.chlipala.net/cpdt/</link>
adamc@274 46 <author>adam@chlipala.net</author>
adamc@274 47 </item>
adamc@274 48
adamc@274 49 <item>
adamc@270 50 <title>Fix table of contents and mention another command needed to enter Chapter 2's code literally</title>
adamc@270 51 <pubDate>Wed, 3 Feb 2010 08:16:16 EST</pubDate>
adamc@270 52 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270 53 <author>adam@chlipala.net</author>
adamc@270 54 </item>
adamc@270 55
adamc@270 56 <item>
adamc@268 57 <title>RSS feed created</title>
adamc@268 58 <pubDate>Wed, 27 Jan 2010 07:33:34 EST</pubDate>
adamc@268 59 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270 60 <author>adam@chlipala.net</author>
adamc@268 61 </item>
adamc@268 62
adamc@268 63 </channel>
adamc@268 64 </rss>