author | wenzelm |
Fri, 15 Aug 2008 22:58:59 +0200 | |
changeset 27906 | df49b4da8903 |
parent 27905 | 070b4a6a9d58 |
child 27907 | 5b9bc956cec6 |
etc/settings | file | annotate | diff | comparison | revisions |
1.1 --- a/etc/settings Fri Aug 15 22:16:14 2008 +0200 1.2 +++ b/etc/settings Fri Aug 15 22:58:59 2008 +0200 1.3 @@ -69,6 +69,13 @@ 1.4 1.5 1.6 ### 1.7 +### JVM components (Scala or Java) 1.8 +### 1.9 + 1.10 +classpath "$ISABELLE_HOME/lib/classes/Pure.jar" 1.11 + 1.12 + 1.13 +### 1.14 ### Interactive sessions (cf. isatool tty) 1.15 ### 1.16