updated to Isabelle2011;
authorwenzelm
Tue Jan 11 20:01:57 2011 +0100 (2011-01-11)
changeset 415128445396e1e39
parent 41511 2fe62d602681
child 41513 0ffd5ea44078
updated to Isabelle2011;
CONTRIBUTORS
NEWS
doc-src/System/Thy/Basics.thy
doc-src/System/Thy/Misc.thy
doc-src/System/Thy/document/Basics.tex
doc-src/System/Thy/document/Misc.tex
     1.1 --- a/CONTRIBUTORS	Tue Jan 11 19:55:34 2011 +0100
     1.2 +++ b/CONTRIBUTORS	Tue Jan 11 20:01:57 2011 +0100
     1.3 @@ -3,8 +3,8 @@
     1.4  who is listed as an author in one of the source files of this Isabelle
     1.5  distribution.
     1.6  
     1.7 -Contributions to this Isabelle version
     1.8 ---------------------------------------
     1.9 +Contributions to Isabelle2011
    1.10 +-----------------------------
    1.11  
    1.12  * October 2010: Bogdan Grechuk, University of Edinburgh
    1.13    Extended convex analysis in Multivariate Analysis.
    1.14 @@ -26,7 +26,7 @@
    1.15  
    1.16  
    1.17  Contributions to Isabelle2009-2
    1.18 ---------------------------------------
    1.19 +-------------------------------
    1.20  
    1.21  * 2009/2010: Stefan Berghofer, Alexander Krauss, and Andreas Schropp, TUM,
    1.22    Makarius Wenzel, TUM / LRI
     2.1 --- a/NEWS	Tue Jan 11 19:55:34 2011 +0100
     2.2 +++ b/NEWS	Tue Jan 11 20:01:57 2011 +0100
     2.3 @@ -1,8 +1,8 @@
     2.4  Isabelle NEWS -- history user-relevant changes
     2.5  ==============================================
     2.6  
     2.7 -New in this Isabelle version
     2.8 -----------------------------
     2.9 +New in Isabelle2011 (January 2011)
    2.10 +----------------------------------
    2.11  
    2.12  *** General ***
    2.13  
     3.1 --- a/doc-src/System/Thy/Basics.thy	Tue Jan 11 19:55:34 2011 +0100
     3.2 +++ b/doc-src/System/Thy/Basics.thy	Tue Jan 11 20:01:57 2011 +0100
     3.3 @@ -184,7 +184,7 @@
     3.4    
     3.5    \item[@{setting_def ISABELLE_IDENTIFIER}@{text "\<^sup>*"}] refers
     3.6    to the name of this Isabelle distribution, e.g.\ ``@{verbatim
     3.7 -  Isabelle2008}''.
     3.8 +  Isabelle2011}''.
     3.9  
    3.10    \item[@{setting_def ML_SYSTEM}, @{setting_def ML_HOME},
    3.11    @{setting_def ML_OPTIONS}, @{setting_def ML_PLATFORM}, @{setting_def
     4.1 --- a/doc-src/System/Thy/Misc.thy	Tue Jan 11 19:55:34 2011 +0100
     4.2 +++ b/doc-src/System/Thy/Misc.thy	Tue Jan 11 20:01:57 2011 +0100
     4.3 @@ -292,7 +292,7 @@
     4.4  \end{ttbox}
     4.5  
     4.6    \medskip The default is to output the full version string of the
     4.7 -  Isabelle distribution, e.g.\ ``@{verbatim "Isabelle2008: June 2008"}.
     4.8 +  Isabelle distribution, e.g.\ ``@{verbatim "Isabelle2011: January 2011"}.
     4.9  
    4.10    The @{verbatim "-i"} option produces a short identification derived
    4.11    from the Mercurial id of the @{setting ISABELLE_HOME} directory.
     5.1 --- a/doc-src/System/Thy/document/Basics.tex	Tue Jan 11 19:55:34 2011 +0100
     5.2 +++ b/doc-src/System/Thy/document/Basics.tex	Tue Jan 11 20:01:57 2011 +0100
     5.3 @@ -197,7 +197,7 @@
     5.4    on the current search path of the shell.
     5.5    
     5.6    \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
     5.7 -  to the name of this Isabelle distribution, e.g.\ ``\verb|Isabelle2008|''.
     5.8 +  to the name of this Isabelle distribution, e.g.\ ``\verb|Isabelle2011|''.
     5.9  
    5.10    \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}}}}},
    5.11    \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
     6.1 --- a/doc-src/System/Thy/document/Misc.tex	Tue Jan 11 19:55:34 2011 +0100
     6.2 +++ b/doc-src/System/Thy/document/Misc.tex	Tue Jan 11 20:01:57 2011 +0100
     6.3 @@ -331,7 +331,7 @@
     6.4  \end{ttbox}
     6.5  
     6.6    \medskip The default is to output the full version string of the
     6.7 -  Isabelle distribution, e.g.\ ``\verb|Isabelle2008: June 2008|.
     6.8 +  Isabelle distribution, e.g.\ ``\verb|Isabelle2011: January 2011|.
     6.9  
    6.10    The \verb|-i| option produces a short identification derived
    6.11    from the Mercurial id of the \hyperlink{setting.ISABELLE-HOME}{\mbox{\isa{\isatt{ISABELLE{\isaliteral{5F}{\isacharunderscore}}HOME}}}} directory.%