equal
deleted
inserted
replaced
16 |
16 |
17 ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0" |
17 ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0" |
18 |
18 |
19 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
19 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
20 |
20 |
21 #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc. |
21 #paranoia settings -- avoid intrusion of alien options |
|
22 unset "_JAVA_OPTIONS" |
|
23 unset "JAVA_TOOL_OPTIONS" |
|
24 |
|
25 #paranoia settings -- avoid problems of Java/Swing versus XIM/IBus etc. |
22 unset XMODIFIERS |
26 unset XMODIFIERS |
23 |
27 |
24 |
28 |
25 ### |
29 ### |
26 ### Interactive sessions (cf. isabelle console) |
30 ### Interactive sessions (cf. isabelle console) |