# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1320616480 18000
# Node ID 03e20059963350e8f96e04782b6761f3393a5785
# Parent  990151eac6af7e2488e70aba953387c9012b7ad2
Remove home page reference to Part IV

diff -r 990151eac6af -r 03e200599633 staging/index.html
--- 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>