Mercurial > cpdt > repo
changeset 366:03e200599633
Remove home page reference to Part IV
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 06 Nov 2011 16:54:40 -0500 |
| parents | 990151eac6af |
| children | b809d3a8a5b1 |
| files | staging/index.html |
| diffstat | 1 files changed, 0 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- a/staging/index.html Sun Nov 06 16:52:15 2011 -0500 +++ b/staging/index.html Sun Nov 06 16:54:40 2011 -0500 @@ -12,8 +12,6 @@ <p>I'm following an unusual philosophy in this book, so it may be of interest even to long-time Coq users. At the same time, I hope that it provides an easier introduction for newcomers, since short and automated proofs are the starting point, rather than an advanced topic.</p> -<p>The final part of the book applies the earlier parts' tools to examples in programming languages and compilers.</p> - <p>Interested in beta testing this book in a course you're teaching? Please <a href="mailto:adamc@csail.mit.edu">drop me a line</a>!</p> <p>A traditional hardcopy version will appear from <a href="http://mitpress.mit.edu/">MIT Press</a> Real Soon Now<a href="http://www.catb.org/jargon/html/R/Real-Soon-Now.html">*</a>.</p>