Mercurial > cpdt > repo
annotate staging/updates.rss @ 268:f3223bde5c87
Add RSS feed
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Wed, 27 Jan 2010 07:40:03 -0500 |
| parents | |
| 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> |