# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1335126466 14400
# Node ID def1a6b35ccd7b154477c4e959186c3d6815b40a
# Parent  3c941750c347d5d61130b2d05ea2cdd7c25f26c5
New release

diff -r 3c941750c347 -r def1a6b35ccd staging/updates.rss
--- a/staging/updates.rss	Sun Apr 22 16:25:22 2012 -0400
+++ b/staging/updates.rss	Sun Apr 22 16:27:46 2012 -0400
@@ -12,6 +12,14 @@
 <docs>http://blogs.law.harvard.edu/tech/rss</docs>
 
 <item>
+        <title>Some content finishing touches</title>
+        <pubDate>Sun, 22 Apr 2012 16:26:07 EDT</pubDate>
+        <link>http://adam.chlipala.net/cpdt/</link>
+        <author>adamc@csail.mit.edu</author>
+        <description>In introduction, clarify meaning of certified programming; add some citations.</description>
+</item>
+
+<item>
         <title>A number of revisions</title>
         <pubDate>Thu, 12 Apr 2012 18:42:46 EDT</pubDate>
         <link>http://adam.chlipala.net/cpdt/</link>