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