lib/scripts/getsettings
changeset 62588 cd266473b81b
parent 62416 cb6c4e307b1c
child 67099 3345d53e7c58
     1.1 --- a/lib/scripts/getsettings	Thu Mar 10 12:11:23 2016 +0100
     1.2 +++ b/lib/scripts/getsettings	Thu Mar 10 12:11:50 2016 +0100
     1.3 @@ -55,7 +55,6 @@
     1.4  
     1.5  #main executables
     1.6  ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
     1.7 -ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process"
     1.8  ISABELLE_SCALA_SCRIPT="$ISABELLE_HOME/bin/isabelle_scala_script"
     1.9  PATH="$ISABELLE_HOME/bin:$PATH"
    1.10