--- a/src/Doc/JEdit/document/root.tex Wed Jun 25 07:49:21 2014 +0200
+++ b/src/Doc/JEdit/document/root.tex Wed Jun 04 18:18:09 2014 +0200
@@ -9,6 +9,7 @@
\usepackage{style}
\usepackage{pdfsetup}
+\hyphenation{Edinburgh}
\hyphenation{Isabelle}
\hyphenation{Isar}
@@ -56,7 +57,7 @@
\subsubsection*{Acknowledgements}
Research and implementation of concepts around PIDE and Isabelle/jEdit has
-started around 2008 and was kindly supported by:
+started in 2008 and was kindly supported by:
\begin{itemize}
\item TU M\"unchen \url{http://www.in.tum.de}
\item BMBF \url{http://www.bmbf.de}