| changeset 53346 | 26c795734b3c |
| parent 52790 | 6150cf05f729 |
| child 53576 | 793a429c63e7 |
| 53345:8c333d659e8f | 53346:26c795734b3c |
|---|---|
10 ### |
10 ### |
11 ### Isabelle/Scala |
11 ### Isabelle/Scala |
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 |
|
16 ISABELLE_JAVA_SYSTEM_OPTIONS="-Dfile.encoding=UTF-8 -server" |
|
15 |
17 |
16 |
18 |
17 ### |
19 ### |
18 ### Interactive sessions (cf. isabelle tty) |
20 ### Interactive sessions (cf. isabelle tty) |
19 ### |
21 ### |