Mercurial > cpdt > repo
annotate staging/updates.rss @ 290:758778c0468c
PC comments for FirstOrder
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 10 Nov 2010 15:37:01 -0500 |
| parents | 6c6786a815dd |
| children | e2dbc0f1c1e8 |
| 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> |
| adam@276 | 15 <title>Mention that recent versions of Coq allow some omitted "match" cases</title> |
| adam@276 | 16 <pubDate>Mon, 28 Jun 2010 07:59:29 EDT</pubDate> |
| adam@276 | 17 <link>http://adam.chlipala.net/cpdt/</link> |
| adam@276 | 18 <author>adam@chlipala.net</author> |
| adam@276 | 19 </item> |
| adam@276 | 20 |
| adam@276 | 21 <item> |
| adamc@274 | 22 <title>A few small typo fixes</title> |
| adamc@274 | 23 <pubDate>Sat, 15 May 2010 06:42:47 EDT</pubDate> |
| adamc@274 | 24 <link>http://adam.chlipala.net/cpdt/</link> |
| adamc@274 | 25 <author>adam@chlipala.net</author> |
| adamc@274 | 26 </item> |
| adamc@274 | 27 |
| adamc@274 | 28 <item> |
| adamc@270 | 29 <title>Fix table of contents and mention another command needed to enter Chapter 2's code literally</title> |
| adamc@270 | 30 <pubDate>Wed, 3 Feb 2010 08:16:16 EST</pubDate> |
| adamc@270 | 31 <link>http://adam.chlipala.net/cpdt/</link> |
| adamc@270 | 32 <author>adam@chlipala.net</author> |
| adamc@270 | 33 </item> |
| adamc@270 | 34 |
| adamc@270 | 35 <item> |
| adamc@268 | 36 <title>RSS feed created</title> |
| adamc@268 | 37 <pubDate>Wed, 27 Jan 2010 07:33:34 EST</pubDate> |
| adamc@268 | 38 <link>http://adam.chlipala.net/cpdt/</link> |
| adamc@270 | 39 <author>adam@chlipala.net</author> |
| adamc@268 | 40 </item> |
| adamc@268 | 41 |
| adamc@268 | 42 </channel> |
| adamc@268 | 43 </rss> |