equal
deleted
inserted
replaced
68 { |
68 { |
69 rm -rf \ |
69 rm -rf \ |
70 "$ISABELLE_HOME/lib/classes/Pure.jar" \ |
70 "$ISABELLE_HOME/lib/classes/Pure.jar" \ |
71 "$ISABELLE_HOME/lib/classes/Pure.shasum" \ |
71 "$ISABELLE_HOME/lib/classes/Pure.shasum" \ |
72 "$ISABELLE_HOME/src/Tools/jEdit/dist" |
72 "$ISABELLE_HOME/src/Tools/jEdit/dist" |
73 "$ISABELLE_TOOL" java isabelle.setup.Setup "$@" |
73 env ISABELLE_SETUP_CLASSPATH_SKIP=true "$ISABELLE_TOOL" java isabelle.setup.Setup "$@" |
74 } |
74 } |
75 |
75 |
76 |
76 |
77 ## main |
77 ## main |
78 |
78 |