# HG changeset patch
# User wenzelm
# Date 1456420103 -3600
# Node ID 1abd90afe3871e950a69d9cf8c8a892488214c5e
# Parent  c6111df4a4f87c82b2adef57ce7d250b2edadb47
within the Isabelle environment, main executables are always within PATH;

diff -r c6111df4a4f8 -r 1abd90afe387 lib/scripts/getfunctions
--- a/lib/scripts/getfunctions	Thu Feb 25 18:05:04 2016 +0100
+++ b/lib/scripts/getfunctions	Thu Feb 25 18:08:23 2016 +0100
@@ -28,25 +28,6 @@
   export -f tar
 fi
 
-#main executables
-function isabelle ()
-{
-  "$ISABELLE_TOOL" "$@"
-}
-export -f isabelle
-
-function isabelle_process ()
-{
-  "$ISABELLE_PROCESS" "$@"
-}
-export -f isabelle_process
-
-function isabelle_scala_script ()
-{
-  "$ISABELLE_SCALA_SCRIPT" "$@"
-}
-export -f isabelle_scala_script
-
 #shared library convenience
 function librarypath ()
 {
diff -r c6111df4a4f8 -r 1abd90afe387 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Thu Feb 25 18:05:04 2016 +0100
+++ b/lib/scripts/getsettings	Thu Feb 25 18:08:23 2016 +0100
@@ -56,6 +56,7 @@
 ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
 ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process"
 ISABELLE_SCALA_SCRIPT="$ISABELLE_HOME/bin/isabelle_scala_script"
+PATH="$ISABELLE_HOME/bin:$PATH"
 
 #platform
 source "$ISABELLE_HOME/lib/scripts/isabelle-platform"