diff staging/index.html @ 517:136d4b84eb96

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
line wrap: on
line diff
--- a/staging/index.html	Wed Oct 16 10:41:23 2013 -0400
+++ b/staging/index.html	Thu Dec 05 15:51:33 2013 -0500
@@ -23,6 +23,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> [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>
 <li> <a href="cpdt.tgz">Tarball of Coq source to latest draft</a></li>
+<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>
 <li> <a href="repo">Public, read-only Mercurial repository</a></li>
 <li> <a href="updates.rss">RSS feed of updates</a></li>