
diff -r 7c97bfe3a501 -r 13530d774a21 doc-src/System/Thy/document/Misc.tex
--- 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.%




