--- a/doc-src/System/Thy/document/Misc.tex Sat Apr 28 17:53:12 2012 +0200
+++ b/doc-src/System/Thy/document/Misc.tex Sat Apr 28 17:54:50 2012 +0200
@@ -331,7 +331,7 @@
\end{ttbox}
\medskip The default is to output the full version string of the
- Isabelle distribution, e.g.\ ``\verb|Isabelle2011: January 2011|.
+ Isabelle distribution, e.g.\ ``\verb|Isabelle2012: May 2012|.
The \verb|-i| option produces a short identification derived
from the Mercurial id of the \hyperlink{setting.ISABELLE-HOME}{\mbox{\isa{\isatt{ISABELLE{\isaliteral{5F}{\isacharunderscore}}HOME}}}} directory.%