author | wenzelm |
Sat, 16 Aug 2008 13:31:55 +0200 | |
changeset 27912 | ffb69afdd4b4 |
parent 27911 | 31523791345a |
child 27913 | c347986773eb |
etc/settings | file | annotate | diff | comparison | revisions |
1.1 --- a/etc/settings Fri Aug 15 23:31:37 2008 +0200 1.2 +++ b/etc/settings Sat Aug 16 13:31:55 2008 +0200 1.3 @@ -72,6 +72,9 @@ 1.4 ### JVM components (Scala or Java) 1.5 ### 1.6 1.7 +ISABELLE_SCALA="scala" 1.8 +ISABELLE_JAVA="java" 1.9 + 1.10 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" 1.11 1.12