lib/scripts/getsettings
changeset 34255 2dd2547acb41
parent 34254 14f6df4f473d
child 34257 b5176fd9ab3c
     1.1 --- a/lib/scripts/getsettings	Mon Jan 04 21:49:47 2010 +0100
     1.2 +++ b/lib/scripts/getsettings	Mon Jan 04 22:16:48 2010 +0100
     1.3 @@ -21,9 +21,6 @@
     1.4  #key executables
     1.5  ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle-process"
     1.6  ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
     1.7 -#legacy settings
     1.8 -ISABELLE="$ISABELLE_PROCESS"
     1.9 -ISATOOL="$ISABELLE_TOOL"
    1.10  
    1.11  function isabelle-process ()
    1.12  {