# HG changeset patch
# User wenzelm
# Date 1335628490 -7200
# Node ID 13530d774a213d21e89a4fa560c48cbd9b6a3d8b
# Parent  7c97bfe3a501f7f2a9f97fe10cfc50237cda3b65
updated system manual for release;

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