Skip to content

C
cpdt
Commit 7914404d authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

Add ISBN

parent 41fefeb5
Show whitespace changes
Inline Side-by-side
Showing with 2 additions and 1 deletion
staging/index.html
View file @ 7914404d
...@@ -21,7 +21,8 @@ ...@@ -21,7 +21,8 @@
<h2>Buy a Copy in Print</h2> <h2>Buy a Copy in Print</h2>
<ul> <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://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> </ul>
</div> </div>
......
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