1.1 --- a/src/Doc/manual.bib	Mon May 04 20:16:19 2015 +0200
     1.2 +++ b/src/Doc/manual.bib	Mon May 04 21:58:35 2015 +0200
     1.3 @@ -1957,7 +1957,7 @@
     1.4  @inproceedings{Wenzel:2013:ITP,
     1.5    author    = {Makarius Wenzel},
     1.6    title     = {Shared-Memory Multiprocessing for Interactive Theorem Proving},
     1.7 -  booktitle = {Interactive Theorem Proving - 4th International Conference,
     1.8 +  booktitle = {Interactive Theorem Proving --- 4th International Conference,
     1.9                 ITP 2013, Rennes, France, July 22-26, 2013. Proceedings},
    1.10    editor    = {Sandrine Blazy and
    1.11                 Christine Paulin-Mohring and
    1.12 @@ -1989,7 +1989,7 @@
    1.13    year = 2014,
    1.14    series = {EPTCS},
    1.15    month = {July},
    1.16 -  note = {To appear, \url{http://eptcs.web.cse.unsw.edu.au/paper.cgi?UITP2014:11}}
    1.17 +  note = {\url{http://eptcs.web.cse.unsw.edu.au/paper.cgi?UITP2014:11}}
    1.18  }
    1.19  
    1.20  @book{principia,