# HG changeset patch # User Adam Chlipala # Date 1295037606 18000 # Node ID 20c742997dae9cc4c5ae539928abcf13dfb1f93d # Parent 123f466faedc9a7cb1b2d4e377bbb069b2ed0db3 New release diff -r 123f466faedc -r 20c742997dae staging/index.html --- a/staging/index.html Fri Jan 14 14:55:32 2011 -0500 +++ b/staging/index.html Fri Jan 14 15:40:06 2011 -0500 @@ -15,6 +15,8 @@

The final part of the book applies the earlier parts' tools to examples in programming languages and compilers.

Interested in beta testing this book in a course you're teaching? Please drop me a line!

+ +

A traditional hardcopy version will appear from MIT Press Real Soon Now.

@@ -37,7 +39,7 @@

Status

-

Updated on November 16, 2009 with a version retargeted to Coq 8.2pl1. Last incremental update on November 10, 2010.

+

Updated on November 16, 2009 with a version retargeted to Coq 8.2pl1, and then again on January 14, 2011 to support Coq 8.3.

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.

diff -r 123f466faedc -r 20c742997dae staging/updates.rss --- a/staging/updates.rss Fri Jan 14 14:55:32 2011 -0500 +++ b/staging/updates.rss Fri Jan 14 15:40:06 2011 -0500 @@ -12,6 +12,13 @@ http://blogs.law.harvard.edu/tech/rss + Updated to work with both Coq 8.3 and Coq 8.2 + Fri, 14 Jan 2011 15:39:00 EST + http://adam.chlipala.net/cpdt/ + adam@chlipala.net + + + A significant revision pass, based on extensive feedback kindly provided by Pierre Castéran Wed, 10 Nov 2010 16:33:49 EST http://adam.chlipala.net/cpdt/