--- 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}