Mercurial > cpdt > repo

comparison 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
comparison
equal deleted inserted replaced
320:21229271f44c 321:a9edc6ecd904
23 <h2>Distribution Formats</h2> 23 <h2>Distribution Formats</h2>
24 <ul> 24 <ul>
25 <li> <a href="cpdt.pdf">Latest draft as a PDF</a></li> 25 <li> <a href="cpdt.pdf">Latest draft as a PDF</a></li>
26 <li> <a href="html/toc.html">Online version of latest draft, as hyperlinked HTML</a></li> 26 <li> <a href="html/toc.html">Online version of latest draft, as hyperlinked HTML</a></li>
27 <li> <a href="cpdt.tgz">Tarball of Coq source to latest draft</a></li> 27 <li> <a href="cpdt.tgz">Tarball of Coq source to latest draft</a></li>
28 <li> <a href="repo">Public, read-only Mercurial repository</a></li>
28 <li> <a href="updates.rss">RSS feed of updates</a></li> 29 <li> <a href="updates.rss">RSS feed of updates</a></li>
29 </ul> 30 </ul>
30 </div> 31 </div>
31 32
32 <div class="project"> 33 <div class="project">