obsolete; Isabelle2017
authorwenzelm
Wed Oct 04 12:00:53 2017 +0200 (12 months ago)
changeset 6678764b47495676d
parent 66786 61617dafcd60
child 66788 6b08228b02d5
obsolete;
src/Doc/System/Environment.thy
     1.1 --- a/src/Doc/System/Environment.thy	Tue Oct 03 19:03:47 2017 +0200
     1.2 +++ b/src/Doc/System/Environment.thy	Wed Oct 04 12:00:53 2017 +0200
     1.3 @@ -136,9 +136,7 @@
     1.4    @{verbatim [display] \<open>"${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}"\<close>}
     1.5  
     1.6    \<^descr>[@{setting ISABELLE_TOOL}\<open>\<^sup>*\<close>] is automatically set to the full path name
     1.7 -  of the @{executable isabelle} executable. Thus other tools and scripts need
     1.8 -  not assume that the \<^dir>\<open>$ISABELLE_HOME/bin\<close> directory is on the current
     1.9 -  search path of the shell.
    1.10 +  of the @{executable isabelle} executable.
    1.11  
    1.12    \<^descr>[@{setting_def ISABELLE_IDENTIFIER}\<open>\<^sup>*\<close>] refers to the name of this
    1.13    Isabelle distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2017\<close>''.