equal
deleted
inserted
replaced
12 ### |
12 ### |
13 |
13 |
14 ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5 -Xmax-classfile-name 130" |
14 ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5 -Xmax-classfile-name 130" |
15 |
15 |
16 ISABELLE_JAVA_SYSTEM_OPTIONS="-Dfile.encoding=UTF-8 -server" |
16 ISABELLE_JAVA_SYSTEM_OPTIONS="-Dfile.encoding=UTF-8 -server" |
|
17 |
|
18 classpath "$ISABELLE_HOME/lib/classes/ext/Pure.jar" |
|
19 classpath "$ISABELLE_HOME/lib/classes/ext/scala-library.jar" |
|
20 classpath "$ISABELLE_HOME/lib/classes/ext/scala-swing.jar" |
|
21 classpath "$ISABELLE_HOME/lib/classes/ext/scala-actors.jar" |
|
22 classpath "$ISABELLE_HOME/lib/classes/ext/scala-compiler.jar" |
|
23 classpath "$ISABELLE_HOME/lib/classes/ext/scala-reflect.jar" |
17 |
24 |
18 |
25 |
19 ### |
26 ### |
20 ### Interactive sessions (cf. isabelle tty) |
27 ### Interactive sessions (cf. isabelle tty) |
21 ### |
28 ### |