
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}




