Isabelle
changeset 43540 71aba8ee3b8f
parent 43521 d477b92109b8
child 44861 329ced2615eb
equal deleted inserted replaced
43539:c49d8f40ba51 43540:71aba8ee3b8f
    21 
    21 
    22 ## main
    22 ## main
    23 
    23 
    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")"
       
    27 exec "$ISABELLE_TOOL" java \
    26 exec "$ISABELLE_TOOL" java \
    28   "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \
    27   "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \
    29   isabelle.GUI_Setup "$@"
    28   isabelle.GUI_Setup "$@"