# HG changeset patch
# User wenzelm
# Date 1507044916 -7200
# Node ID 6fbd7fc824a96d7eec17ac18581463273efdca79
# Parent  cd8ad4eddb8addf81ca6d70ef91c778cd7e7e440
updated for release;

diff -r cd8ad4eddb8a -r 6fbd7fc824a9 src/Doc/System/Environment.thy
--- a/src/Doc/System/Environment.thy	Sat Sep 23 13:46:48 2017 +0200
+++ b/src/Doc/System/Environment.thy	Tue Oct 03 17:35:16 2017 +0200
@@ -141,7 +141,7 @@
   search path of the shell.
 
   \<^descr>[@{setting_def ISABELLE_IDENTIFIER}\<open>\<^sup>*\<close>] refers to the name of this
-  Isabelle distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2012\<close>''.
+  Isabelle distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2017\<close>''.
 
   \<^descr>[@{setting_def ML_SYSTEM}, @{setting_def ML_HOME}, @{setting_def
   ML_OPTIONS}, @{setting_def ML_PLATFORM}, @{setting_def ML_IDENTIFIER}\<open>\<^sup>*\<close>]
diff -r cd8ad4eddb8a -r 6fbd7fc824a9 src/Doc/System/Misc.thy
--- a/src/Doc/System/Misc.thy	Sat Sep 23 13:46:48 2017 +0200
+++ b/src/Doc/System/Misc.thy	Tue Oct 03 17:35:16 2017 +0200
@@ -220,7 +220,7 @@
 
   \<^medskip>
   The default is to output the full version string of the Isabelle
-  distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2012: May 2012\<close>.
+  distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2017: October 2017\<close>.
 
   The \<^verbatim>\<open>-i\<close> option produces a short identification derived from the Mercurial
   id of the @{setting ISABELLE_HOME} directory.
diff -r cd8ad4eddb8a -r 6fbd7fc824a9 src/Pure/Admin/build_docker.scala
--- a/src/Pure/Admin/build_docker.scala	Sat Sep 23 13:46:48 2017 +0200
+++ b/src/Pure/Admin/build_docker.scala	Tue Oct 03 17:35:16 2017 +0200
@@ -130,9 +130,9 @@
 
   Examples:
 
-    isabelle build_docker -E -t test/isabelle:Isabelle2016-1 Isabelle2016-1_app.tar.gz
+    isabelle build_docker -E -t test/isabelle:Isabelle2017 Isabelle2017_app.tar.gz
 
-    isabelle build_docker -E -n -o Dockerfile http://isabelle.in.tum.de/dist/Isabelle2016-1_app.tar.gz
+    isabelle build_docker -E -n -o Dockerfile http://isabelle.in.tum.de/dist/Isabelle2017_app.tar.gz
 
 """,
           "B:" -> (arg => base = arg),