equal
deleted
inserted
replaced
20 |
20 |
21 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
21 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
22 |
22 |
23 isabelle_scala_service 'isabelle.Tools' |
23 isabelle_scala_service 'isabelle.Tools' |
24 [ -d "$ISABELLE_HOME/Admin" ] && isabelle_scala_service 'isabelle.Admin_Tools' |
24 [ -d "$ISABELLE_HOME/Admin" ] && isabelle_scala_service 'isabelle.Admin_Tools' |
|
25 |
|
26 isabelle_scala_service 'isabelle.Functions' |
25 |
27 |
26 isabelle_scala_service 'isabelle.Bibtex$File_Format' |
28 isabelle_scala_service 'isabelle.Bibtex$File_Format' |
27 |
29 |
28 #paranoia settings -- avoid intrusion of alien options |
30 #paranoia settings -- avoid intrusion of alien options |
29 unset "_JAVA_OPTIONS" |
31 unset "_JAVA_OPTIONS" |