diff -r 070b4a6a9d58 -r df49b4da8903 etc/settings
--- 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)
 ###