# 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.%