src/Doc/manual.bib
changeset 60257 9ed816c033c5
parent 58556 71a63f8a5b84
child 60268 6a27919a98f0
--- a/src/Doc/manual.bib	Mon May 04 20:16:19 2015 +0200
+++ b/src/Doc/manual.bib	Mon May 04 21:58:35 2015 +0200
@@ -1957,7 +1957,7 @@
 @inproceedings{Wenzel:2013:ITP,
   author    = {Makarius Wenzel},
   title     = {Shared-Memory Multiprocessing for Interactive Theorem Proving},
-  booktitle = {Interactive Theorem Proving - 4th International Conference,
+  booktitle = {Interactive Theorem Proving --- 4th International Conference,
                ITP 2013, Rennes, France, July 22-26, 2013. Proceedings},
   editor    = {Sandrine Blazy and
                Christine Paulin-Mohring and
@@ -1989,7 +1989,7 @@
   year = 2014,
   series = {EPTCS},
   month = {July},
-  note = {To appear, \url{http://eptcs.web.cse.unsw.edu.au/paper.cgi?UITP2014:11}}
+  note = {\url{http://eptcs.web.cse.unsw.edu.au/paper.cgi?UITP2014:11}}
 }
 
 @book{principia,