Commit e660789e authored by Adam Chlipala's avatar Adam Chlipala

New release

parent b5b821de
......@@ -11,6 +11,13 @@
<webMaster>adam@chlipala.net</webMaster>
<docs>http://blogs.law.harvard.edu/tech/rss</docs>
<item>
<title>A pass through "Subset Types and Variations"</title>
<pubDate>Wed, 5 Oct 2011 11:32:54 EDT</pubDate>
<link>http://adam.chlipala.net/cpdt/</link>
<author>adamc@csail.mit.edu</author>
</item>
<item>
<title>New Match exercises; remove Part IV</title>
<pubDate>Mon, 3 Oct 2011 11:18:27 EDT</pubDate>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment