Isabelle
changeset 31920 105bd1abff50
parent 31919 e587a888bab5
child 31922 d6f8f3bfe329
equal deleted inserted replaced
31919:e587a888bab5 31920:105bd1abff50
    19 ## main
    19 ## main
    20 
    20 
    21 CLASSPATH="$(jvmpath "$CLASSPATH")"
    21 CLASSPATH="$(jvmpath "$CLASSPATH")"
    22 
    22 
    23 exec "$ISABELLE_JAVA" \
    23 exec "$ISABELLE_JAVA" \
    24   "-Disabelle.home=$ISABELLE_HOME" \
    24   "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \
    25   -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@"
    25   -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@"