# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1316023448 14400
# Node ID a9edc6ecd9042752bf1f3d640a8ea63b361f8a4b
# Parent  21229271f44c9e209ff4a1ad0b5b6d6acf72a411
Publish this repo publicly

diff -r 21229271f44c -r a9edc6ecd904 staging/index.html
--- a/staging/index.html	Mon Sep 12 18:57:05 2011 -0400
+++ b/staging/index.html	Wed Sep 14 14:04:08 2011 -0400
@@ -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>
diff -r 21229271f44c -r a9edc6ecd904 staging/updates.rss
--- a/staging/updates.rss	Mon Sep 12 18:57:05 2011 -0400
+++ b/staging/updates.rss	Wed Sep 14 14:04:08 2011 -0400
@@ -12,6 +12,13 @@
 <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>
         <link>http://adam.chlipala.net/cpdt/</link>