# HG changeset patch
# User wenzelm
# Date 1412543367 -7200
# Node ID 71a63f8a5b845afe9531bb161e72303caf3be53e
# Parent  7975676c08c0eb3ff3b94375430843f18b15f6e1
more refs;

diff -r 7975676c08c0 -r 71a63f8a5b84 src/Doc/JEdit/JEdit.thy
--- 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}
 
diff -r 7975676c08c0 -r 71a63f8a5b84 src/Doc/manual.bib
--- 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},