equal
deleted
inserted
replaced
67 #ML_OPTIONS="" |
67 #ML_OPTIONS="" |
68 #ML_PLATFORM="" |
68 #ML_PLATFORM="" |
69 |
69 |
70 |
70 |
71 ### |
71 ### |
|
72 ### JVM components (Scala or Java) |
|
73 ### |
|
74 |
|
75 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
|
76 |
|
77 |
|
78 ### |
72 ### Interactive sessions (cf. isatool tty) |
79 ### Interactive sessions (cf. isatool tty) |
73 ### |
80 ### |
74 |
81 |
75 ISABELLE_LINE_EDITOR="" |
82 ISABELLE_LINE_EDITOR="" |
76 [ -z "$ISABELLE_LINE_EDITOR" ] && ISABELLE_LINE_EDITOR="$(type -p rlwrap)" |
83 [ -z "$ISABELLE_LINE_EDITOR" ] && ISABELLE_LINE_EDITOR="$(type -p rlwrap)" |