view staging/updates.rss @ 269:191a66cd7cb5

Fix PDF ToC generation; mention Set Implicit Arguments in StackMachine
author Adam Chlipala <adamc@hcoop.net>
date Wed, 03 Feb 2010 08:14:39 -0500
parents f3223bde5c87
children fd46d077b952
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>adamc@hcoop.net</managingEditor>
<webMaster>adamc@hcoop.net</webMaster>
<docs>http://blogs.law.harvard.edu/tech/rss</docs>

<item>
        <title>RSS feed created</title>
        <pubDate>Wed, 27 Jan 2010 07:33:34 EST</pubDate>
        <link>http://adam.chlipala.net/cpdt/</link>
        <author>adamc@hcoop.net</author>
</item>

</channel>
</rss>