Mercurial > cpdt > repo
comparison staging/index.html @ 519:2bcc4e7976d7
Fix HTML error on index page
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 13 Dec 2013 10:45:46 -0500 |
parents | 2bd6b00f831f |
children | 6ea0694afa44 |
comparison
equal
deleted
inserted
replaced
518:2bd6b00f831f | 519:2bcc4e7976d7 |
---|---|
19 <p>A traditional hardcopy version is available from <a href="http://mitpress.mit.edu/">MIT Press</a>, who have graciously agreed to allow distribution of free versions online indefinitely, minus the benefits of the Press' copy editing!</p> | 19 <p>A traditional hardcopy version is available from <a href="http://mitpress.mit.edu/">MIT Press</a>, who have graciously agreed to allow distribution of free versions online indefinitely, minus the benefits of the Press' copy editing!</p> |
20 | 20 |
21 <h2>Buy a Copy in Print</h2> | 21 <h2>Buy a Copy in Print</h2> |
22 <ul> | 22 <ul> |
23 <a href="http://www.amazon.com/gp/product/0262026651/ref=as_li_tf_tl?ie=UTF8&camp=1789&creative=9325&creativeASIN=0262026651&linkCode=as2&tag=adamchli-20">From Amazon.com</a><img src="http://ir-na.amazon-adsystem.com/e/ir?t=adamchli-20&l=as2&o=1&a=0262026651" width="1" height="1" border="0" alt="" style="border:none !important; margin:0px !important;" /><br/> | 23 <a href="http://www.amazon.com/gp/product/0262026651/ref=as_li_tf_tl?ie=UTF8&camp=1789&creative=9325&creativeASIN=0262026651&linkCode=as2&tag=adamchli-20">From Amazon.com</a><img src="http://ir-na.amazon-adsystem.com/e/ir?t=adamchli-20&l=as2&o=1&a=0262026651" width="1" height="1" border="0" alt="" style="border:none !important; margin:0px !important;" /><br/> |
24 <a href="http://mitpress.mit.edu/books/certified-programming-dependent-types">The MIT Press page for the book | 24 <a href="http://mitpress.mit.edu/books/certified-programming-dependent-types">The MIT Press page for the book</a> |
25 </ul> | 25 </ul> |
26 </div> | 26 </div> |
27 | 27 |
28 <div class="project"> | 28 <div class="project"> |
29 <h2>Distribution Formats (free version)</h2> | 29 <h2>Distribution Formats (free version)</h2> |