equal
deleted
inserted
replaced
25 |
25 |
26 isabelle_scala_service 'isabelle.Functions' |
26 isabelle_scala_service 'isabelle.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$Protocol_Handler' |
30 isabelle_scala_service 'isabelle.ML_Statistics$Handler' |
31 isabelle_scala_service 'isabelle.Scala' |
31 isabelle_scala_service 'isabelle.Scala$Handler' |
32 isabelle_scala_service 'isabelle.Print_Operation$Handler' |
32 isabelle_scala_service 'isabelle.Print_Operation$Handler' |
33 isabelle_scala_service 'isabelle.Simplifier_Trace$Handler' |
33 isabelle_scala_service 'isabelle.Simplifier_Trace$Handler' |
34 |
34 |
35 #paranoia settings -- avoid intrusion of alien options |
35 #paranoia settings -- avoid intrusion of alien options |
36 unset "_JAVA_OPTIONS" |
36 unset "_JAVA_OPTIONS" |