# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1343422530 14400
# Node ID f1f779c6a23258168e43f2ec2e330fe200a3a5c0
# Parent  8077352044b214a62438554c3406b0f3ae45ff7f
New release

diff -r 8077352044b2 -r f1f779c6a232 staging/updates.rss
--- a/staging/updates.rss	Fri Jul 27 16:47:28 2012 -0400
+++ b/staging/updates.rss	Fri Jul 27 16:55:30 2012 -0400
@@ -12,6 +12,14 @@
 <docs>http://blogs.law.harvard.edu/tech/rss</docs>
 
 <item>
+        <title>Taking advantage of coqdoc changes</title>
+        <pubDate>Fri, 27 Jul 2012 16:48:35 EDT</pubDate>
+        <link>http://adam.chlipala.net/cpdt/</link>
+        <author>adamc@csail.mit.edu</author>
+        <description>Starting with some help from Matthieu Sozeau, a number of improvements have been made to the coqdoc program, which is used to generate CPDT renderings.  The changes aren't in any Coq release yet (not even an 8.4 beta release), but I hope they will make it into the final 8.4, and I've used a working Coq version to generate pretty outputs.  Now the only concrete change I have planned before the final CPDT version for publication is tweaking of empty vertical space between some page elements.</description>
+</item>
+
+<item>
         <title>Preparing for final typesetting</title>
         <pubDate>Fri, 8 Jun 2012 15:55:17 EDT</pubDate>
         <link>http://adam.chlipala.net/cpdt/</link>