equal
deleted
inserted
replaced
22 unset "_JAVA_OPTIONS" |
22 unset "_JAVA_OPTIONS" |
23 unset "JAVA_TOOL_OPTIONS" |
23 unset "JAVA_TOOL_OPTIONS" |
24 |
24 |
25 #paranoia settings -- avoid problems of Java/Swing versus XIM/IBus etc. |
25 #paranoia settings -- avoid problems of Java/Swing versus XIM/IBus etc. |
26 unset XMODIFIERS |
26 unset XMODIFIERS |
|
27 |
|
28 |
|
29 ### |
|
30 ### Interactive sessions (cf. isabelle console) |
|
31 ### |
|
32 |
|
33 ISABELLE_LINE_EDITOR="rlwrap" |
27 |
34 |
28 |
35 |
29 ### |
36 ### |
30 ### Batch sessions (cf. isabelle build) |
37 ### Batch sessions (cf. isabelle build) |
31 ### |
38 ### |