Certified Programming with Dependent Types: staging/updates.rss annotate

Update RSS feed

author	Adam Chlipala <adamc@hcoop.net>
date	Sat, 15 May 2010 06:44:41 -0400
parents	fd46d077b952
children	6c6786a815dd

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@274	15 <title>A few small typo fixes</title>
adamc@274	16 <pubDate>Sat, 15 May 2010 06:42:47 EDT</pubDate>
adamc@274	17 <link>http://adam.chlipala.net/cpdt/</link>
adamc@274	18 <author>adam@chlipala.net</author>
adamc@274	19 </item>
adamc@274	20
adamc@274	21 <item>
adamc@270	22 <title>Fix table of contents and mention another command needed to enter Chapter 2's code literally</title>
adamc@270	23 <pubDate>Wed, 3 Feb 2010 08:16:16 EST</pubDate>
adamc@270	24 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270	25 <author>adam@chlipala.net</author>
adamc@270	26 </item>
adamc@270	27
adamc@270	28 <item>
adamc@268	29 <title>RSS feed created</title>
adamc@268	30 <pubDate>Wed, 27 Jan 2010 07:33:34 EST</pubDate>
adamc@268	31 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270	32 <author>adam@chlipala.net</author>
adamc@268	33 </item>
adamc@268	34
adamc@268	35 </channel>
adamc@268	36 </rss>

Mercurial > cpdt > repo