Mercurial > cpdt > repo
changeset 515:ffe99c02fa18
Warning about HTML version
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Tue, 15 Oct 2013 08:36:24 -0400 |
| parents | 3b21f4395178 |
| children | a8377999fcf9 |
| files | staging/index.html |
| diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/staging/index.html Thu Sep 26 15:26:12 2013 -0400 +++ b/staging/index.html Tue Oct 15 08:36:24 2013 -0400 @@ -21,7 +21,7 @@ <h2>Distribution Formats</h2> <ul> <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="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="repo">Public, read-only Mercurial repository</a></li> <li> <a href="updates.rss">RSS feed of updates</a></li>