equal
deleted
inserted
replaced
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' |
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 isabelle_scala_service 'isabelle.Server_Commands' |
34 |
35 |
35 #paranoia settings -- avoid intrusion of alien options |
36 #paranoia settings -- avoid intrusion of alien options |
36 unset "_JAVA_OPTIONS" |
37 unset "_JAVA_OPTIONS" |
37 unset "JAVA_TOOL_OPTIONS" |
38 unset "JAVA_TOOL_OPTIONS" |
38 |
39 |