--- a/src/Doc/manual.bib Sat Sep 21 12:03:51 2013 +0200
+++ b/src/Doc/manual.bib Sat Sep 21 13:05:54 2013 +0200
@@ -1827,6 +1827,27 @@
editor = {Dos Reis, G. and L. Th\'ery},
publisher = {ACM Digital Library}}
+@InProceedings{Wenzel:2010,
+ author = {Makarius Wenzel},
+ title = {Asynchronous Proof Processing with {Isabelle/Scala} and {Isabelle/jEdit}},
+ booktitle = {User Interfaces for Theorem Provers (UITP 2010), FLOC 2010 Satellite Workshop},
+ year = 2010,
+ editor = {C. Sacerdoti Coen and D. Aspinall},
+ series = {ENTCS},
+ month = {July},
+ publisher = {Elsevier},
+ url = {http://www.lri.fr/~wenzel/papers/async-isabelle-scala.pdf}}
+
+@InProceedings{Wenzel:2011:CICM,
+ author = {M. Wenzel},
+ title = {Isabelle as Document-oriented Proof Assistant},
+ editor = {J. H. Davenport and W. M. Farmer and F. Rabe and J. Urban},
+ booktitle = {Conference on Intelligent Computer Mathematics / Mathematical Knowledge Management (CICM/MKM 2011)},
+ year = 2011,
+ volume = {6824},
+ series = {LNAI},
+ publisher = {Springer}}
+
@InProceedings{Wenzel:2012,
author = {Makarius Wenzel},
title = {{Isabelle/jEdit} --- a {Prover IDE} within the {PIDE} framework},
@@ -1837,6 +1858,29 @@
series = {LNAI},
publisher = {Springer}}
+@InProceedings{Wenzel:2012:UITP-EPTCS,
+ author = {Makarius Wenzel},
+ title = {{READ-EVAL-PRINT} in Parallel and Asynchronous Proof-checking},
+ booktitle = {User Interfaces for Theorem Provers (UITP 2012)},
+ year = 2013,
+ series = {EPTCS}
+}
+
+@inproceedings{Wenzel:2013:ITP,
+ author = {Makarius Wenzel},
+ title = {Shared-Memory Multiprocessing for Interactive Theorem Proving},
+ booktitle = {Interactive Theorem Proving - 4th International Conference,
+ ITP 2013, Rennes, France, July 22-26, 2013. Proceedings},
+ editor = {Sandrine Blazy and
+ Christine Paulin-Mohring and
+ David Pichardie},
+ year = {2013},
+ ee = {http://dx.doi.org/10.1007/978-3-642-39634-2_30},
+ publisher = {Springer},
+ series = {Lecture Notes in Computer Science},
+ volume = {7998},
+}
+
@book{principia,
author = {A. N. Whitehead and B. Russell},
title = {Principia Mathematica},