updated for release;
authorwenzelm
Tue Oct 03 17:35:16 2017 +0200 (6 months ago)
changeset 667856fbd7fc824a9
parent 66687 cd8ad4eddb8a
child 66786 61617dafcd60
updated for release;
src/Doc/System/Environment.thy
src/Doc/System/Misc.thy
src/Pure/Admin/build_docker.scala
     1.1 --- a/src/Doc/System/Environment.thy	Sat Sep 23 13:46:48 2017 +0200
     1.2 +++ b/src/Doc/System/Environment.thy	Tue Oct 03 17:35:16 2017 +0200
     1.3 @@ -141,7 +141,7 @@
     1.4    search path of the shell.
     1.5  
     1.6    \<^descr>[@{setting_def ISABELLE_IDENTIFIER}\<open>\<^sup>*\<close>] refers to the name of this
     1.7 -  Isabelle distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2012\<close>''.
     1.8 +  Isabelle distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2017\<close>''.
     1.9  
    1.10    \<^descr>[@{setting_def ML_SYSTEM}, @{setting_def ML_HOME}, @{setting_def
    1.11    ML_OPTIONS}, @{setting_def ML_PLATFORM}, @{setting_def ML_IDENTIFIER}\<open>\<^sup>*\<close>]
     2.1 --- a/src/Doc/System/Misc.thy	Sat Sep 23 13:46:48 2017 +0200
     2.2 +++ b/src/Doc/System/Misc.thy	Tue Oct 03 17:35:16 2017 +0200
     2.3 @@ -220,7 +220,7 @@
     2.4  
     2.5    \<^medskip>
     2.6    The default is to output the full version string of the Isabelle
     2.7 -  distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2012: May 2012\<close>.
     2.8 +  distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2017: October 2017\<close>.
     2.9  
    2.10    The \<^verbatim>\<open>-i\<close> option produces a short identification derived from the Mercurial
    2.11    id of the @{setting ISABELLE_HOME} directory.
     3.1 --- a/src/Pure/Admin/build_docker.scala	Sat Sep 23 13:46:48 2017 +0200
     3.2 +++ b/src/Pure/Admin/build_docker.scala	Tue Oct 03 17:35:16 2017 +0200
     3.3 @@ -130,9 +130,9 @@
     3.4  
     3.5    Examples:
     3.6  
     3.7 -    isabelle build_docker -E -t test/isabelle:Isabelle2016-1 Isabelle2016-1_app.tar.gz
     3.8 +    isabelle build_docker -E -t test/isabelle:Isabelle2017 Isabelle2017_app.tar.gz
     3.9  
    3.10 -    isabelle build_docker -E -n -o Dockerfile http://isabelle.in.tum.de/dist/Isabelle2016-1_app.tar.gz
    3.11 +    isabelle build_docker -E -n -o Dockerfile http://isabelle.in.tum.de/dist/Isabelle2017_app.tar.gz
    3.12  
    3.13  """,
    3.14            "B:" -> (arg => base = arg),