view staging/updates.rss @ 304:f7ac1e0c0d60

Clarify need to insert hidden commands
author Adam Chlipala <adam@chlipala.net>
date Tue, 28 Jun 2011 08:38:08 -0400
parents 921d6936c11d
children d092baf477ae
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>Tweaks to recent update to satisfy coqdoc 8.3</title>
        <pubDate>Tue, 18 Jan 2011 08:15:00 EST</pubDate>
        <link>http://adam.chlipala.net/cpdt/</link>
        <author>adam@chlipala.net</author>
</item>

<item>
        <title>Updated to work with both Coq 8.3 and Coq 8.2</title>
        <pubDate>Fri, 14 Jan 2011 15:39:00 EST</pubDate>
        <link>http://adam.chlipala.net/cpdt/</link>
        <author>adam@chlipala.net</author>
</item>

<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>