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}