# HG changeset patch
# User wenzelm
# Date 1218833939 -7200
# Node ID df49b4da8903934eb481b286d0e2c01affd88a4a
# Parent  070b4a6a9d589ec64104d8c5b0e6de85200b55dc
added JVM components (Scala or Java);

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)
 ###