src/Doc/JEdit/document/root.tex

 \subsubsection*{Acknowledgements}
 
 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}
 \item ANR \url{http://www.agence-nationale-recherche.fr}
 \end{itemize}