Mercurial > cpdt > repo
view staging/updates.rss @ 295:6833a1b778c0
First cut at spellcheck filter
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 09 Dec 2010 14:30:24 -0500 |
parents | e2dbc0f1c1e8 |
children | 20c742997dae |
line wrap: on
line source
<?xml version="1.0" encoding="utf-8" ?> <rss version="2.0"> <channel> <title>Certified Programming with Dependent Types updates</title> <link>http://adam.chlipala.net/cpdt/</link> <description>Updates to a draft textbook</description> <language>en-us</language> <managingEditor>adam@chlipala.net</managingEditor> <webMaster>adam@chlipala.net</webMaster> <docs>http://blogs.law.harvard.edu/tech/rss</docs> <item> <title>A significant revision pass, based on extensive feedback kindly provided by Pierre Castéran</title> <pubDate>Wed, 10 Nov 2010 16:33:49 EST</pubDate> <link>http://adam.chlipala.net/cpdt/</link> <author>adam@chlipala.net</author> </item> <item> <title>Mention that recent versions of Coq allow some omitted "match" cases</title> <pubDate>Mon, 28 Jun 2010 07:59:29 EDT</pubDate> <link>http://adam.chlipala.net/cpdt/</link> <author>adam@chlipala.net</author> </item> <item> <title>A few small typo fixes</title> <pubDate>Sat, 15 May 2010 06:42:47 EDT</pubDate> <link>http://adam.chlipala.net/cpdt/</link> <author>adam@chlipala.net</author> </item> <item> <title>Fix table of contents and mention another command needed to enter Chapter 2's code literally</title> <pubDate>Wed, 3 Feb 2010 08:16:16 EST</pubDate> <link>http://adam.chlipala.net/cpdt/</link> <author>adam@chlipala.net</author> </item> <item> <title>RSS feed created</title> <pubDate>Wed, 27 Jan 2010 07:33:34 EST</pubDate> <link>http://adam.chlipala.net/cpdt/</link> <author>adam@chlipala.net</author> </item> </channel> </rss>