Isabelle
changeset 43521 d477b92109b8
parent 40571 fbac01813bff
child 43540 71aba8ee3b8f
equal deleted inserted replaced
43520:cec9b95fa35d 43521:d477b92109b8
    24 [ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars
    24 [ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars
    25 
    25 
    26 CLASSPATH="$(jvmpath "$CLASSPATH")"
    26 CLASSPATH="$(jvmpath "$CLASSPATH")"
    27 exec "$ISABELLE_TOOL" java \
    27 exec "$ISABELLE_TOOL" java \
    28   "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \
    28   "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \
    29   -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@"
    29   isabelle.GUI_Setup "$@"