|
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@299
|
15 <title>Updated to work with both Coq 8.3 and Coq 8.2</title>
|
|
adam@299
|
16 <pubDate>Fri, 14 Jan 2011 15:39:00 EST</pubDate>
|
|
adam@299
|
17 <link>http://adam.chlipala.net/cpdt/</link>
|
|
adam@299
|
18 <author>adam@chlipala.net</author>
|
|
adam@299
|
19 </item>
|
|
adam@299
|
20
|
|
adam@299
|
21 <item>
|
|
adam@293
|
22 <title>A significant revision pass, based on extensive feedback kindly provided by Pierre Castéran</title>
|
|
adam@293
|
23 <pubDate>Wed, 10 Nov 2010 16:33:49 EST</pubDate>
|
|
adam@293
|
24 <link>http://adam.chlipala.net/cpdt/</link>
|
|
adam@293
|
25 <author>adam@chlipala.net</author>
|
|
adam@293
|
26 </item>
|
|
adam@293
|
27
|
|
adam@293
|
28 <item>
|
|
adam@276
|
29 <title>Mention that recent versions of Coq allow some omitted "match" cases</title>
|
|
adam@276
|
30 <pubDate>Mon, 28 Jun 2010 07:59:29 EDT</pubDate>
|
|
adam@276
|
31 <link>http://adam.chlipala.net/cpdt/</link>
|
|
adam@276
|
32 <author>adam@chlipala.net</author>
|
|
adam@276
|
33 </item>
|
|
adam@276
|
34
|
|
adam@276
|
35 <item>
|
|
adamc@274
|
36 <title>A few small typo fixes</title>
|
|
adamc@274
|
37 <pubDate>Sat, 15 May 2010 06:42:47 EDT</pubDate>
|
|
adamc@274
|
38 <link>http://adam.chlipala.net/cpdt/</link>
|
|
adamc@274
|
39 <author>adam@chlipala.net</author>
|
|
adamc@274
|
40 </item>
|
|
adamc@274
|
41
|
|
adamc@274
|
42 <item>
|
|
adamc@270
|
43 <title>Fix table of contents and mention another command needed to enter Chapter 2's code literally</title>
|
|
adamc@270
|
44 <pubDate>Wed, 3 Feb 2010 08:16:16 EST</pubDate>
|
|
adamc@270
|
45 <link>http://adam.chlipala.net/cpdt/</link>
|
|
adamc@270
|
46 <author>adam@chlipala.net</author>
|
|
adamc@270
|
47 </item>
|
|
adamc@270
|
48
|
|
adamc@270
|
49 <item>
|
|
adamc@268
|
50 <title>RSS feed created</title>
|
|
adamc@268
|
51 <pubDate>Wed, 27 Jan 2010 07:33:34 EST</pubDate>
|
|
adamc@268
|
52 <link>http://adam.chlipala.net/cpdt/</link>
|
|
adamc@270
|
53 <author>adam@chlipala.net</author>
|
|
adamc@268
|
54 </item>
|
|
adamc@268
|
55
|
|
adamc@268
|
56 </channel>
|
|
adamc@268
|
57 </rss>
|
