Mercurial > cpdt > repo
changeset 521:6ea0694afa44
Add ISBN
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 14 Dec 2013 14:58:32 -0500 |
| parents | 4a4a9893c57f |
| children | ee34e94183a8 |
| files | staging/index.html |
| diffstat | 1 files changed, 2 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/staging/index.html Fri Dec 13 13:08:53 2013 -0500 +++ b/staging/index.html Sat Dec 14 14:58:32 2013 -0500 @@ -21,7 +21,8 @@ <h2>Buy a Copy in Print</h2> <ul> <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/> -<a href="http://mitpress.mit.edu/books/certified-programming-dependent-types">The MIT Press page for the book</a> +<a href="http://mitpress.mit.edu/books/certified-programming-dependent-types">The MIT Press page for the book</a><br/> +<b>ISBN:</b> 9780262026659 </ul> </div>