changeset 321:a9edc6ecd904

Publish this repo publicly
author Adam Chlipala <adam@chlipala.net>
date Wed, 14 Sep 2011 14:04:08 -0400
parents 21229271f44c
children 98e0d957df16
files staging/index.html staging/updates.rss
diffstat 2 files changed, 8 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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>
--- 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>