Publish this repo publicly

staging/index.html

@@ -25,6 +25,7 @@
 <li> <a href="cpdt.pdf">Latest draft as a PDF</a></li>
 <li> <a href="html/toc.html">Online version of latest draft, as hyperlinked HTML</a></li>
 <li> <a href="cpdt.tgz">Tarball of Coq source to latest draft</a></li>
+<li> <a href="repo">Public, read-only Mercurial repository</a></li>
 <li> <a href="updates.rss">RSS feed of updates</a></li>
 </ul>
 </div>

staging/updates.rss

@@ -11,6 +11,13 @@
 <webMaster>adam@chlipala.net</webMaster>
 <docs>http://blogs.law.harvard.edu/tech/rss</docs>
 
+<item>
+        <title>Added a public Mercurial repository with the book source</title>
+        <pubDate>Wed, 14 Sep 2011 14:01:23 EDT</pubDate>
+        <link>http://adam.chlipala.net/cpdt/repo</link>
+        <author>adamc@csail.mit.edu</author>
+</item>
+
 <item>
         <title>A pass through Chapter 3</title>
         <pubDate>Mon, 12 Sep 2011 16:47:12 EDT</pubDate>