--- a/NEWS Sat Apr 28 17:53:12 2012 +0200
+++ b/NEWS Sat Apr 28 17:54:50 2012 +0200
@@ -36,8 +36,9 @@
"syntax_ambiguity_warning" and "syntax_ambiguity_limit" in isar-ref
manual. Minor INCOMPATIBILITY.
-* Updated and extended reference manuals: "isar-ref" and
-"implementation"; reduced remaining material in old "ref" manual.
+* Updated and extended reference manuals: "isar-ref",
+"implementation", "system"; reduced remaining material in old "ref"
+manual.
*** Pure ***
--- a/doc-src/System/Thy/Misc.thy Sat Apr 28 17:53:12 2012 +0200
+++ b/doc-src/System/Thy/Misc.thy Sat Apr 28 17:54:50 2012 +0200
@@ -292,7 +292,7 @@
\end{ttbox}
\medskip The default is to output the full version string of the
- Isabelle distribution, e.g.\ ``@{verbatim "Isabelle2011: January 2011"}.
+ Isabelle distribution, e.g.\ ``@{verbatim "Isabelle2012: May 2012"}.
The @{verbatim "-i"} option produces a short identification derived
from the Mercurial id of the @{setting ISABELLE_HOME} directory.
--- 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.%