adamc@268: <?xml version="1.0" encoding="utf-8" ?>
adamc@268: <rss version="2.0">
adamc@268: <channel>
adamc@268: 
adamc@268: <title>Certified Programming with Dependent Types updates</title>
adamc@268: <link>http://adam.chlipala.net/cpdt/</link>
adamc@268: <description>Updates to a draft textbook</description>
adamc@268: 
adamc@268: <language>en-us</language>
adamc@268: <managingEditor>adamc@hcoop.net</managingEditor>
adamc@268: <webMaster>adamc@hcoop.net</webMaster>
adamc@268: <docs>http://blogs.law.harvard.edu/tech/rss</docs>
adamc@268: 
adamc@268: <item>
adamc@268:         <title>RSS feed created</title>
adamc@268:         <pubDate>Wed, 27 Jan 2010 07:33:34 EST</pubDate>
adamc@268:         <link>http://adam.chlipala.net/cpdt/</link>
adamc@268:         <author>adamc@hcoop.net</author>
adamc@268: </item>
adamc@268: 
adamc@268: </channel>
adamc@268: </rss>