Isabelle
changeset 31922 d6f8f3bfe329
parent 31920 105bd1abff50
child 34282 549969a7f582
equal deleted inserted replaced
31921:f39825f8bfd3 31922:d6f8f3bfe329
    13 ## settings
    13 ## settings
    14 
    14 
    15 ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)"
    15 ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)"
    16 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
    16 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
    17 
    17 
       
    18 unset ISABELLE_SETTINGS_PRESENT
       
    19 
    18 
    20 
    19 ## main
    21 ## main
    20 
    22 
    21 CLASSPATH="$(jvmpath "$CLASSPATH")"
    23 CLASSPATH="$(jvmpath "$CLASSPATH")"
    22 
    24