# HG changeset patch
# User wenzelm
# Date 1381399332 -7200
# Node ID b8bd31c7058c61186d44666395c0e6cb5a5fe361
# Parent  219dd1028399d49dc5708af1b22f0bf5848015b5
tuned;

diff -r 219dd1028399 -r b8bd31c7058c src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Wed Oct 09 23:11:56 2013 +0200
+++ b/src/Doc/JEdit/JEdit.thy	Thu Oct 10 12:02:12 2013 +0200
@@ -25,9 +25,10 @@
 processing}, which is supported natively by the \emph{parallel proof engine}
 that is implemented in Isabelle/ML.
 
-\item [jEdit] is a sophisticated text editor \url{http://www.jedit.org}
-implemented in Java. It is easily extensible by plugins written in any
-language that works on the JVM, e.g.\ Scala.
+\item [jEdit] is a sophisticated text
+editor\footnote{\url{http://www.jedit.org}} implemented in Java. It is easily
+extensible by plugins written in languages that work on the JVM, e.g.\
+Scala\footnote{\url{http://www.scala-lang.org/}}.
 
 \item [Isabelle/jEdit] is the main example application of the PIDE framework
 and the default user-interface for Isabelle. It is targeted at beginners and
@@ -80,7 +81,7 @@
 
   \item The logic image of the prover session may be specified within
   Isabelle/jEdit, but this requires restart. The new image is provided
-  automatically by the Isabelle build process.
+  automatically by the Isabelle build tool.
 
   \end{itemize}
 *}
@@ -189,7 +190,7 @@
   Various Isabelle plugin options control the popup behavior and immediate
   insertion into buffer.
 
-  Isabelle Symbols are completed in backslashed forms, e.g. @{verbatim
+  Isabelle Symbols are completed in backslashed forms, e.g.\ @{verbatim
   "\\"}@{verbatim "forall"} or @{verbatim "\<forall>"} that both produce the Isabelle
   symbol @{text "\<forall>"} in its Unicode rendering. Alternatively, symbol
   abbreviations may be used as specified in @{file
diff -r 219dd1028399 -r b8bd31c7058c src/Doc/JEdit/document/root.tex
--- a/src/Doc/JEdit/document/root.tex	Wed Oct 09 23:11:56 2013 +0200
+++ b/src/Doc/JEdit/document/root.tex	Thu Oct 10 12:02:12 2013 +0200
@@ -57,7 +57,7 @@
 Research and implementation of concepts around PIDE and Isabelle/jEdit has
 started around 2008 and was kindly supported by:
 \begin{itemize}
-\item TU M\"unchen \url{http://in.tum.de}
+\item TU M\"unchen \url{http://www.in.tum.de}
 \item BMBF \url{http://www.bmbf.de}
 \item Universit\'e Paris-Sud \url{http://www.u-psud.fr}
 \item Digiteo \url{http://www.digiteo.fr}