annotate staging/updates.rss @ 270:fd46d077b952

Bug fixes
author Adam Chlipala <adamc@hcoop.net>
date Wed, 03 Feb 2010 08:17:02 -0500
parents f3223bde5c87
children 806420cf7a2f
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>
adamc@270 15 <title>Fix table of contents and mention another command needed to enter Chapter 2's code literally</title>
adamc@270 16 <pubDate>Wed, 3 Feb 2010 08:16:16 EST</pubDate>
adamc@270 17 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270 18 <author>adam@chlipala.net</author>
adamc@270 19 </item>
adamc@270 20
adamc@270 21 <item>
adamc@268 22 <title>RSS feed created</title>
adamc@268 23 <pubDate>Wed, 27 Jan 2010 07:33:34 EST</pubDate>
adamc@268 24 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270 25 <author>adam@chlipala.net</author>
adamc@268 26 </item>
adamc@268 27
adamc@268 28 </channel>
adamc@268 29 </rss>