--- a/src/Doc/JEdit/JEdit.thy Sun Oct 05 22:47:07 2014 +0200
+++ b/src/Doc/JEdit/JEdit.thy Sun Oct 05 23:09:27 2014 +0200
@@ -12,11 +12,11 @@
Isabelle/jEdit is a Prover IDE that integrates \emph{parallel proof
checking} @{cite "Wenzel:2009" and "Wenzel:2013:ITP"} with
\emph{asynchronous user interaction} @{cite "Wenzel:2010" and
- "Wenzel:2012:UITP-EPTCS" and "Wenzel:2014:ITP-PIDE"}, based on a
- document-oriented approach to \emph{continuous proof processing} @{cite
- "Wenzel:2011:CICM" and "Wenzel:2012"}. Many concepts and system components
- are fit together in order to make this work. The main building blocks are as
- follows.
+ "Wenzel:2012:UITP-EPTCS" and "Wenzel:2014:ITP-PIDE" and "Wenzel:2014:UITP"},
+ based on a document-oriented approach to \emph{continuous proof processing}
+ @{cite "Wenzel:2011:CICM" and "Wenzel:2012"}. Many concepts and system
+ components are fit together in order to make this work. The main building
+ blocks are as follows.
\begin{description}
--- 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},