--- a/latex/cpdt.bib	Thu Jul 26 16:22:57 2012 -0400
+++ b/latex/cpdt.bib	Thu Jul 26 16:38:44 2012 -0400
@@ -44,7 +44,7 @@
   title = {Formal Proof--The Four-Color Theorem},
   journal = {Notices of the American Mathematical Society},
   volume = {55(11)},
-  pages = {1382-–1393}
+  pages = {1382--1393}
 }
 
 @Article{CompCert,
@@ -103,8 +103,8 @@
 
 @unpublished{CoqManual,
   author = "{Coq Development Team}",
-  title = "The {Coq} proof assistant reference manual, version 8.3",
-  year = 2010,
+  title = "The {Coq} proof assistant reference manual, version 8.4",
+  year = 2012,
   url={http://coq.inria.fr/refman/}
 }
 
@@ -365,15 +365,7 @@
  author = {Wenzel, Markus},
  title = {Isar - A Generic Interpretative Approach to Readable Formal Proof Documents},
  booktitle = {Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics},
- series = {TPHOLs '99},
  year = {1999},
- isbn = {3-540-66463-7},
- pages = {167--184},
- numpages = {18},
- url = {http://dl.acm.org/citation.cfm?id=646526.694887},
- acmid = {694887},
- publisher = {Springer-Verlag},
- address = {London, UK, UK},
 } 
 
 @article{continuations,