--- a/src/Doc/JEdit/document/root.tex Sat Sep 21 15:23:31 2013 +0200
+++ b/src/Doc/JEdit/document/root.tex Sat Sep 21 16:08:17 2013 +0200
@@ -30,8 +30,9 @@
\subsubsection*{Acknowledgements}
Research and implementation of concepts around PIDE and Isabelle/jEdit has
-started around 2008 and was kindly supported by
+started around 2008 and was kindly supported by:
\begin{itemize}
+\item TU M\"unchen \url{http://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}