# HG changeset patch
# User wenzelm
# Date 1219695986 -7200
# Node ID 64957539cdf4aafea082e587fc17c9cae479d56f
# Parent  4476fe75a1dbb61f8a23985ff02c57cab5b4f637
explicitly depend on isabelle-Pure.jar and isabelle-scala-library.jar;

diff -r 4476fe75a1db -r 64957539cdf4 lib/jedit/README
--- a/lib/jedit/README	Mon Aug 25 22:05:30 2008 +0200
+++ b/lib/jedit/README	Mon Aug 25 22:26:26 2008 +0200
@@ -28,11 +28,15 @@
 Plugin installation
 -------------------
 
-1) Copy or symlink [ISABELLE_HOME]/lib/classes/Pure.jar and
-[ISABELLE_HOME]/lib/jedit/isabelle.jar to [JEDIT_SETTINGS]/jars/
+1) Install copies of the Isabelle jars:
+
+  [ISABELLE_HOME]/lib/classes/Pure.jar   ->  [JEDIT_SETTINGS]/jars/isabelle-Pure.jar
+  [ISABELLE_HOME]/lib/jedit/isabelle.jar ->  [JEDIT_SETTINGS]/jars/isabelle.jar
 
-2) Install scala-library.jar likewise (taken from the regular Scala
-distribution, cf. the http://www.scala-lang.org/downloads/index.html)
+2) Install scala-library.jar from the regular Scala distribution,
+cf. the http://www.scala-lang.org/downloads/index.html as
+
+  [JEDIT_SETTINGS]/jars/isabelle-scala-library.jar
 
 3) Enable the plugin using the manager of jEdit; invoke the "isabelle"
 editor action.  The resulting window may be docked, e.g. at bottom.
diff -r 4476fe75a1db -r 64957539cdf4 lib/jedit/plugin/Isabelle.props
--- 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