Mercurial > cpdt > repo

diff staging/index.html @ 321:a9edc6ecd904

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Publish this repo publicly
author Adam Chlipala <adam@chlipala.net>
date Wed, 14 Sep 2011 14:04:08 -0400
parents 8cb9e31f86e7
children 4a432659a698
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>