--- a/src/Doc/manual.bib Sat Jan 26 16:10:50 2013 +0100
+++ b/src/Doc/manual.bib Sat Jan 26 16:30:47 2013 +0100
@@ -1792,6 +1792,16 @@
editor = {Dos Reis, G. and L. Th\'ery},
publisher = {ACM Digital Library}}
+@InProceedings{Wenzel:2012,
+ author = {Makarius Wenzel},
+ title = {{Isabelle/jEdit} --- a {Prover IDE} within the {PIDE} framework},
+ booktitle = {Conference on Intelligent Computer Mathematics (CICM 2012)},
+ year = 2012,
+ editor = {J. Jeuring and others},
+ volume = 7362,
+ series = {LNAI},
+ publisher = {Springer}}
+
@book{principia,
author = {A. N. Whitehead and B. Russell},
title = {Principia Mathematica},