| changeset 27912 | ffb69afdd4b4 |
| parent 27906 | df49b4da8903 |
| child 27921 | 25818c7907f3 |
| 27911:31523791345a | 27912:ffb69afdd4b4 |
|---|---|
70 |
70 |
71 ### |
71 ### |
72 ### JVM components (Scala or Java) |
72 ### JVM components (Scala or Java) |
73 ### |
73 ### |
74 |
74 |
75 ISABELLE_SCALA="scala" |
|
76 ISABELLE_JAVA="java" |
|
77 |
|
75 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
78 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
76 |
79 |
77 |
80 |
78 ### |
81 ### |
79 ### Interactive sessions (cf. isatool tty) |
82 ### Interactive sessions (cf. isatool tty) |