Mercurial > cpdt > repo
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> |