Mercurial > cpdt > repo

comparison staging/index.html @ 517:136d4b84eb96

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Build an open-source release of library modules
author Adam Chlipala <adam@chlipala.net>
date Thu, 05 Dec 2013 15:51:33 -0500
parents a8377999fcf9
children 2bd6b00f831f
comparison
equal deleted inserted replaced
516:a8377999fcf9 517:136d4b84eb96
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> [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> 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="cpdtlib.tgz">Tarball of a few generally useful library modules from the book</a> (which are released under an open-source license, while the book generally isn't)</li>
26 <li> <a href="repo">Public, read-only Mercurial repository</a></li> 27 <li> <a href="repo">Public, read-only Mercurial repository</a></li>
27 <li> <a href="updates.rss">RSS feed of updates</a></li> 28 <li> <a href="updates.rss">RSS feed of updates</a></li>
28 </ul> 29 </ul>
29 </div> 30 </div>
30 31