--- 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>