equal
deleted
inserted
replaced
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 |
25 |
26 isabelle_scala_service 'isabelle.Functions' |
26 isabelle_scala_service 'isabelle.Scala_Functions' |
27 |
27 |
28 isabelle_scala_service 'isabelle.Bibtex$File_Format' |
28 isabelle_scala_service 'isabelle.Bibtex$File_Format' |
29 |
29 |
30 isabelle_scala_service 'isabelle.ML_Statistics$Handler' |
30 isabelle_scala_service 'isabelle.ML_Statistics$Handler' |
31 isabelle_scala_service 'isabelle.Scala$Handler' |
31 isabelle_scala_service 'isabelle.Scala$Handler' |