Mercurial > cpdt > repo

comparison staging/index.html @ 309:8cb9e31f86e7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Front page tweaks
author Adam Chlipala <adam@chlipala.net>
date Thu, 25 Aug 2011 15:22:20 -0400
parents d092baf477ae
children a9edc6ecd904
comparison
equal deleted inserted replaced
308:d092baf477ae 309:8cb9e31f86e7
12 12
13 <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> 13 <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>
14 14
15 <p>The final part of the book applies the earlier parts' tools to examples in programming languages and compilers.</p> 15 <p>The final part of the book applies the earlier parts' tools to examples in programming languages and compilers.</p>
16 16
17 <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> 17 <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>
18 18
19 <p>A traditional hardcopy version will appear from <a href="http://mitpress.mit.edu/">MIT Press</a> Real Soon Now.</p> 19 <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>
20 </div> 20 </div>
21 21
22 <div class="project"> 22 <div class="project">
23 <h2>Distribution Formats</h2> 23 <h2>Distribution Formats</h2>
24 <ul> 24 <ul>