changeset 482:e3b32a87347f

Web page update on proofreading
author Adam Chlipala <adam@chlipala.net>
date Fri, 30 Nov 2012 12:10:46 -0500
parents c4a22c9ff090
children 582cf453878e
files staging/index.html
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/staging/index.html	Fri Nov 30 12:07:46 2012 -0500
+++ b/staging/index.html	Fri Nov 30 12:10:46 2012 -0500
@@ -40,7 +40,7 @@
 <div class="project">
 <h2>Status</h2>
 
-<p>Updated on November 16, 2009 with a version retargeted to Coq 8.2pl1, then again on January 14, 2011 to support Coq 8.3, and then again on March 29, 2012 to support Coq 8.4 beta.  On August 25, 2011, I started passes through all chapters, with an eye toward getting ready both for <a href="http://stellar.mit.edu/S/course/6/fa11/6.892/">my fall class</a> and publication by MIT Press.  I'm adding bibliographic references and index entries, along with the usual tweaks and improvements.</p>
+<p>Updated on November 16, 2009 with a version retargeted to Coq 8.2pl1, then again on January 14, 2011 to support Coq 8.3, and then again on March 29, 2012 to support Coq 8.4 beta.  On August 25, 2011, I started passes through all chapters, with an eye toward getting ready both for <a href="http://stellar.mit.edu/S/course/6/fa11/6.892/">my fall class</a> and publication by MIT Press.  I added bibliographic references and index entries, along with the usual tweaks and improvements.  In late Summer 2012, the mode switched to final proofreading by others.</p>
 
 <p>The current version is effectively a beta release.  It is intended to be consistent, self-contained, and useful, both for individual study and for introductory theorem-proving classes aimed at students with ML or Haskell experience and with basic familiarity with programming language theory.</p>