Skip to content

C
cpdt
Commit 2f84edf6 authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

New release

parent 12609c55
Show whitespace changes
Inline Side-by-side
Showing with 7 additions and 0 deletions
staging/updates.rss
View file @ 2f84edf6
......@@ -11,6 +11,13 @@
<webMaster>adam@chlipala.net</webMaster>
<docs>http://blogs.law.harvard.edu/tech/rss</docs>
<item>
<title>Tweaks to recent update to satisfy coqdoc 8.3</title>
<pubDate>Tue, 18 Jan 2011 08:15:00 EST</pubDate>
<link>http://adam.chlipala.net/cpdt/</link>
<author>adam@chlipala.net</author>
</item>
<item>
<title>Updated to work with both Coq 8.3 and Coq 8.2</title>
<pubDate>Fri, 14 Jan 2011 15:39:00 EST</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