--- a/src/Doc/manual.bib Sun Oct 05 22:47:07 2014 +0200
+++ b/src/Doc/manual.bib Sun Oct 05 23:09:27 2014 +0200
@@ -1981,6 +1981,17 @@
volume = {8558},
}
+@InProceedings{Wenzel:2014:UITP,
+ author = {Makarius Wenzel},
+ title = {System description: {Isabelle/jEdit} in 2014},
+ booktitle = {User Interfaces for Theorem Provers (UITP 2014)},
+ editor = {Christoph Benzm{\"u}ller and Woltzenlogel Paleo, Bruno},
+ year = 2014,
+ series = {EPTCS},
+ month = {July},
+ note = {To appear, \url{http://eptcs.web.cse.unsw.edu.au/paper.cgi?UITP2014:11}}
+}
+
@book{principia,
author = {A. N. Whitehead and B. Russell},
title = {Principia Mathematica},