src/Doc/System/Environment.thy
changeset 66785 6fbd7fc824a9
parent 64509 80aaa4ff7fed
child 66787 64b47495676d
     1.1 --- a/src/Doc/System/Environment.thy	Sun Nov 20 15:53:07 2016 +0100
     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>]