# HG changeset patch # User Adam Chlipala # Date 1314300140 14400 # Node ID 8cb9e31f86e712707912da11dd587f1e02c5d427 # Parent d092baf477aeb0d6672e0b4f1ee2ccf572cf0847 Front page tweaks diff -r d092baf477ae -r 8cb9e31f86e7 staging/index.html --- a/staging/index.html Thu Aug 25 14:55:38 2011 -0400 +++ b/staging/index.html Thu Aug 25 15:22:20 2011 -0400 @@ -14,9 +14,9 @@

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!

+

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.

+

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