Mercurial > cpdt > repo

comparison staging/index.html @ 515:ffe99c02fa18

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Warning about HTML version
author Adam Chlipala <adam@chlipala.net>
date Tue, 15 Oct 2013 08:36:24 -0400
parents a95af5a59990
children a8377999fcf9
comparison
equal deleted inserted replaced
514:3b21f4395178 515:ffe99c02fa18
19 19
20 <div class="project"> 20 <div class="project">
21 <h2>Distribution Formats</h2> 21 <h2>Distribution Formats</h2>
22 <ul> 22 <ul>
23 <li> <a href="cpdt.pdf">Latest draft as a PDF</a></li> 23 <li> <a href="cpdt.pdf">Latest draft as a PDF</a></li>
24 <li> <a href="html/toc.html">Online version of latest draft, as hyperlinked HTML</a></li> 24 <li> <a href="html/toc.html">Online version of latest draft, as hyperlinked HTML</a> [note that the author focuses on the PDF version and doesn't make an effort to keep the HTML version particularly pleasant to use]</li>
25 <li> <a href="cpdt.tgz">Tarball of Coq source to latest draft</a></li> 25 <li> <a href="cpdt.tgz">Tarball of Coq source to latest draft</a></li>
26 <li> <a href="repo">Public, read-only Mercurial repository</a></li> 26 <li> <a href="repo">Public, read-only Mercurial repository</a></li>
27 <li> <a href="updates.rss">RSS feed of updates</a></li> 27 <li> <a href="updates.rss">RSS feed of updates</a></li>
28 </ul> 28 </ul>
29 </div> 29 </div>