--- a/CONTRIBUTORS Tue Jan 11 19:55:34 2011 +0100
+++ b/CONTRIBUTORS Tue Jan 11 20:01:57 2011 +0100
@@ -3,8 +3,8 @@
who is listed as an author in one of the source files of this Isabelle
distribution.
-Contributions to this Isabelle version
---------------------------------------
+Contributions to Isabelle2011
+-----------------------------
* October 2010: Bogdan Grechuk, University of Edinburgh
Extended convex analysis in Multivariate Analysis.
@@ -26,7 +26,7 @@
Contributions to Isabelle2009-2
---------------------------------------
+-------------------------------
* 2009/2010: Stefan Berghofer, Alexander Krauss, and Andreas Schropp, TUM,
Makarius Wenzel, TUM / LRI
--- a/NEWS Tue Jan 11 19:55:34 2011 +0100
+++ b/NEWS Tue Jan 11 20:01:57 2011 +0100
@@ -1,8 +1,8 @@
Isabelle NEWS -- history user-relevant changes
==============================================
-New in this Isabelle version
-----------------------------
+New in Isabelle2011 (January 2011)
+----------------------------------
*** General ***
--- a/doc-src/System/Thy/Basics.thy Tue Jan 11 19:55:34 2011 +0100
+++ b/doc-src/System/Thy/Basics.thy Tue Jan 11 20:01:57 2011 +0100
@@ -184,7 +184,7 @@
\item[@{setting_def ISABELLE_IDENTIFIER}@{text "\<^sup>*"}] refers
to the name of this Isabelle distribution, e.g.\ ``@{verbatim
- Isabelle2008}''.
+ Isabelle2011}''.
\item[@{setting_def ML_SYSTEM}, @{setting_def ML_HOME},
@{setting_def ML_OPTIONS}, @{setting_def ML_PLATFORM}, @{setting_def
--- a/doc-src/System/Thy/Misc.thy Tue Jan 11 19:55:34 2011 +0100
+++ b/doc-src/System/Thy/Misc.thy Tue Jan 11 20:01:57 2011 +0100
@@ -292,7 +292,7 @@
\end{ttbox}
\medskip The default is to output the full version string of the
- Isabelle distribution, e.g.\ ``@{verbatim "Isabelle2008: June 2008"}.
+ Isabelle distribution, e.g.\ ``@{verbatim "Isabelle2011: January 2011"}.
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/Basics.tex Tue Jan 11 19:55:34 2011 +0100
+++ b/doc-src/System/Thy/document/Basics.tex Tue Jan 11 20:01:57 2011 +0100
@@ -197,7 +197,7 @@
on the current search path of the shell.
\item[\indexdef{}{setting}{ISABELLE\_IDENTIFIER}\hypertarget{setting.ISABELLE-IDENTIFIER}{\hyperlink{setting.ISABELLE-IDENTIFIER}{\mbox{\isa{\isatt{ISABELLE{\isaliteral{5F}{\isacharunderscore}}IDENTIFIER}}}}}\isa{{\isaliteral{22}{\isachardoublequote}}\isaliteral{5C3C5E7375703E}{}\isactrlsup {\isaliteral{2A}{\isacharasterisk}}{\isaliteral{22}{\isachardoublequote}}}] refers
- to the name of this Isabelle distribution, e.g.\ ``\verb|Isabelle2008|''.
+ to the name of this Isabelle distribution, e.g.\ ``\verb|Isabelle2011|''.
\item[\indexdef{}{setting}{ML\_SYSTEM}\hypertarget{setting.ML-SYSTEM}{\hyperlink{setting.ML-SYSTEM}{\mbox{\isa{\isatt{ML{\isaliteral{5F}{\isacharunderscore}}SYSTEM}}}}}, \indexdef{}{setting}{ML\_HOME}\hypertarget{setting.ML-HOME}{\hyperlink{setting.ML-HOME}{\mbox{\isa{\isatt{ML{\isaliteral{5F}{\isacharunderscore}}HOME}}}}},
\indexdef{}{setting}{ML\_OPTIONS}\hypertarget{setting.ML-OPTIONS}{\hyperlink{setting.ML-OPTIONS}{\mbox{\isa{\isatt{ML{\isaliteral{5F}{\isacharunderscore}}OPTIONS}}}}}, \indexdef{}{setting}{ML\_PLATFORM}\hypertarget{setting.ML-PLATFORM}{\hyperlink{setting.ML-PLATFORM}{\mbox{\isa{\isatt{ML{\isaliteral{5F}{\isacharunderscore}}PLATFORM}}}}}, \indexdef{}{setting}{ML\_IDENTIFIER}\hypertarget{setting.ML-IDENTIFIER}{\hyperlink{setting.ML-IDENTIFIER}{\mbox{\isa{\isatt{ML{\isaliteral{5F}{\isacharunderscore}}IDENTIFIER}}}}}\isa{{\isaliteral{22}{\isachardoublequote}}\isaliteral{5C3C5E7375703E}{}\isactrlsup {\isaliteral{2A}{\isacharasterisk}}{\isaliteral{22}{\isachardoublequote}}}] specify the underlying ML system
--- a/doc-src/System/Thy/document/Misc.tex Tue Jan 11 19:55:34 2011 +0100
+++ b/doc-src/System/Thy/document/Misc.tex Tue Jan 11 20:01:57 2011 +0100
@@ -331,7 +331,7 @@
\end{ttbox}
\medskip The default is to output the full version string of the
- Isabelle distribution, e.g.\ ``\verb|Isabelle2008: June 2008|.
+ Isabelle distribution, e.g.\ ``\verb|Isabelle2011: January 2011|.
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.%