# HG changeset patch
# User wenzelm
# Date 1396796972 -7200
# Node ID aab984137bcdd3c60efb0802872247a55ad19e14
# Parent  95e2656b3b23c448f35a7943eab2ea5fc20eacdf
shell functions for all Isabelle executables;

diff -r 95e2656b3b23 -r aab984137bcd lib/scripts/getsettings
--- a/lib/scripts/getsettings	Sun Apr 06 16:59:41 2014 +0200
+++ b/lib/scripts/getsettings	Sun Apr 06 17:09:32 2014 +0200
@@ -44,17 +44,22 @@
 export ISABELLE_HOME
 
 #key executables
+ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
 ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process"
-ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
+
+function isabelle ()
+{
+  "$ISABELLE_TOOL" "$@"
+}
 
 function isabelle_process ()
 {
   "$ISABELLE_PROCESS" "$@"
 }
 
-function isabelle ()
+function isabelle_scala_script ()
 {
-  "$ISABELLE_TOOL" "$@"
+  "$ISABELLE_HOME/bin/isabelle_scala_script" "$@"
 }
 
 #platform