--- a/lib/jedit/plugin/Isabelle.props	Mon Aug 25 22:05:30 2008 +0200
+++ b/lib/jedit/plugin/Isabelle.props	Mon Aug 25 22:26:26 2008 +0200
@@ -10,6 +10,7 @@
 #system parameters
 plugin.isabelle.jedit.IsabellePlugin.activate = defer
 plugin.isabelle.jedit.IsabellePlugin.usePluginHome = false
+plugin.isabelle.jedit.IsabellePlugin.jars = isabelle-Pure.jar isabelle-scala-library.jar
 
 #dependencies
 plugin.isabelle.jedit.IsabellePlugin.depend.0 = jdk 1.5