--- 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,