Mercurial > cpdt > repo
annotate 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 |
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@268 | 10 <managingEditor>adamc@hcoop.net</managingEditor> |
adamc@268 | 11 <webMaster>adamc@hcoop.net</webMaster> |
adamc@268 | 12 <docs>http://blogs.law.harvard.edu/tech/rss</docs> |
adamc@268 | 13 |
adamc@268 | 14 <item> |
adamc@268 | 15 <title>RSS feed created</title> |
adamc@268 | 16 <pubDate>Wed, 27 Jan 2010 07:33:34 EST</pubDate> |
adamc@268 | 17 <link>http://adam.chlipala.net/cpdt/</link> |
adamc@268 | 18 <author>adamc@hcoop.net</author> |
adamc@268 | 19 </item> |
adamc@268 | 20 |
adamc@268 | 21 </channel> |
adamc@268 | 22 </rss> |