adamc@268: <?xml version="1.0" encoding="utf-8" ?>
adamc@268: <rss version="2.0">
adamc@268: <channel>
adamc@268: 
adamc@268: <title>Certified Programming with Dependent Types updates</title>
adamc@268: <link>http://adam.chlipala.net/cpdt/</link>
adamc@268: <description>Updates to a draft textbook</description>
adamc@268: 
adamc@268: <language>en-us</language>
adamc@270: <managingEditor>adam@chlipala.net</managingEditor>
adamc@270: <webMaster>adam@chlipala.net</webMaster>
adamc@268: <docs>http://blogs.law.harvard.edu/tech/rss</docs>
adamc@268: 
adamc@268: <item>
adam@299:         <title>Updated to work with both Coq 8.3 and Coq 8.2</title>
adam@299:         <pubDate>Fri, 14 Jan 2011 15:39:00 EST</pubDate>
adam@299:         <link>http://adam.chlipala.net/cpdt/</link>
adam@299:         <author>adam@chlipala.net</author>
adam@299: </item>
adam@299: 
adam@299: <item>
adam@293:         <title>A significant revision pass, based on extensive feedback kindly provided by Pierre Castéran</title>
adam@293:         <pubDate>Wed, 10 Nov 2010 16:33:49 EST</pubDate>
adam@293:         <link>http://adam.chlipala.net/cpdt/</link>
adam@293:         <author>adam@chlipala.net</author>
adam@293: </item>
adam@293: 
adam@293: <item>
adam@276:         <title>Mention that recent versions of Coq allow some omitted "match" cases</title>
adam@276:         <pubDate>Mon, 28 Jun 2010 07:59:29 EDT</pubDate>
adam@276:         <link>http://adam.chlipala.net/cpdt/</link>
adam@276:         <author>adam@chlipala.net</author>
adam@276: </item>
adam@276: 
adam@276: <item>
adamc@274:         <title>A few small typo fixes</title>
adamc@274:         <pubDate>Sat, 15 May 2010 06:42:47 EDT</pubDate>
adamc@274:         <link>http://adam.chlipala.net/cpdt/</link>
adamc@274:         <author>adam@chlipala.net</author>
adamc@274: </item>
adamc@274: 
adamc@274: <item>
adamc@270:         <title>Fix table of contents and mention another command needed to enter Chapter 2's code literally</title>
adamc@270:         <pubDate>Wed, 3 Feb 2010 08:16:16 EST</pubDate>
adamc@270:         <link>http://adam.chlipala.net/cpdt/</link>
adamc@270:         <author>adam@chlipala.net</author>
adamc@270: </item>
adamc@270: 
adamc@270: <item>
adamc@268:         <title>RSS feed created</title>
adamc@268:         <pubDate>Wed, 27 Jan 2010 07:33:34 EST</pubDate>
adamc@268:         <link>http://adam.chlipala.net/cpdt/</link>
adamc@270:         <author>adam@chlipala.net</author>
adamc@268: </item>
adamc@268: 
adamc@268: </channel>
adamc@268: </rss>