changeset 366:03e200599633

Remove home page reference to Part IV
author Adam Chlipala <>
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="">drop me a line</a>!</p>
 <p>A traditional hardcopy version will appear from <a href="">MIT Press</a> Real Soon Now<a href="">*</a>.</p>