| changeset 51384 | d2116723f550 |
| parent 50197 | b385d134926d |
| child 51940 | 958d439b3013 |
| 51383:50fb0f35a14f | 51384:d2116723f550 |
|---|---|
9 |
9 |
10 ### |
10 ### |
11 ### JVM components (Scala or Java) |
11 ### JVM components (Scala or Java) |
12 ### |
12 ### |
13 |
13 |
14 ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5" |
14 ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5 -Xmax-classfile-name 130" |
15 |
15 |
16 |
16 |
17 ### |
17 ### |
18 ### Interactive sessions (cf. isabelle tty) |
18 ### Interactive sessions (cf. isabelle tty) |
19 ### |
19 ### |