# HG changeset patch
# User wenzelm
# Date 1294772517 -3600
# Node ID 8445396e1e397842457b1021850d7d85a8b5851e
# Parent  2fe62d6026814c6f601372401f0a3c2f03be3609
updated to Isabelle2011;

diff -r 2fe62d602681 -r 8445396e1e39 CONTRIBUTORS
--- 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
diff -r 2fe62d602681 -r 8445396e1e39 NEWS
--- 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 ***
 
diff -r 2fe62d602681 -r 8445396e1e39 doc-src/System/Thy/Basics.thy
--- 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
diff -r 2fe62d602681 -r 8445396e1e39 doc-src/System/Thy/Misc.thy
--- 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.
diff -r 2fe62d602681 -r 8445396e1e39 doc-src/System/Thy/document/Basics.tex
--- 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
diff -r 2fe62d602681 -r 8445396e1e39 doc-src/System/Thy/document/Misc.tex
--- 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.%