# HG changeset patch
# User wenzelm
# Date 1507111253 -7200
# Node ID 64b47495676d5d6bdec02032a7a90fe6e1ff6c50
# Parent  61617dafcd6067f03b2c4395eecacf178c94a7db
obsolete;

diff -r 61617dafcd60 -r 64b47495676d src/Doc/System/Environment.thy
--- a/src/Doc/System/Environment.thy	Tue Oct 03 19:03:47 2017 +0200
+++ b/src/Doc/System/Environment.thy	Wed Oct 04 12:00:53 2017 +0200
@@ -136,9 +136,7 @@
   @{verbatim [display] \<open>"${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}"\<close>}
 
   \<^descr>[@{setting ISABELLE_TOOL}\<open>\<^sup>*\<close>] is automatically set to the full path name
-  of the @{executable isabelle} executable. Thus other tools and scripts need
-  not assume that the \<^dir>\<open>$ISABELLE_HOME/bin\<close> directory is on the current
-  search path of the shell.
+  of the @{executable isabelle} executable.
 
   \<^descr>[@{setting_def ISABELLE_IDENTIFIER}\<open>\<^sup>*\<close>] refers to the name of this
   Isabelle distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2017\<close>''.