Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/java
changeset 69126 e1b4b14ded58
parent 67490 982f0bf34804
child 73987 fc363a3b690a
equal deleted inserted replaced
69125:60b6c759134f 69126:e1b4b14ded58 
     8 
     8 
     9 [ -n "$CLASSPATH" ] && classpath "$CLASSPATH"
 
     9 [ -n "$CLASSPATH" ] && classpath "$CLASSPATH"
 
    10 unset CLASSPATH
 
    10 unset CLASSPATH
 
    11 
    11 
    12 isabelle_java java "${JAVA_ARGS[@]}" \
 
    12 isabelle_java java "${JAVA_ARGS[@]}" \
 
    13   "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \
 
       
    14   -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"
 
    13   -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"
isabelle