--- a/etc/settings Fri Aug 15 22:16:14 2008 +0200
+++ b/etc/settings Fri Aug 15 22:58:59 2008 +0200
@@ -69,6 +69,13 @@
###
+### JVM components (Scala or Java)
+###
+
+classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
+
+
+###
### Interactive sessions (cf. isatool tty)
###