Commit 02341d48 authored by Adam Chlipala's avatar Adam Chlipala

Front page tweaks

parent d62345c6
......@@ -14,9 +14,9 @@
<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:adam@chlipala.net">drop me a line</a>!</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.</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>
</div>
<div class="project">
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment