1.1 --- a/lib/jedit/README	Mon Aug 25 22:05:30 2008 +0200
     1.2 +++ b/lib/jedit/README	Mon Aug 25 22:26:26 2008 +0200
     1.3 @@ -28,11 +28,15 @@
     1.4  Plugin installation
     1.5  -------------------
     1.6  
     1.7 -1) Copy or symlink [ISABELLE_HOME]/lib/classes/Pure.jar and
     1.8 -[ISABELLE_HOME]/lib/jedit/isabelle.jar to [JEDIT_SETTINGS]/jars/
     1.9 +1) Install copies of the Isabelle jars:
    1.10  
    1.11 -2) Install scala-library.jar likewise (taken from the regular Scala
    1.12 -distribution, cf. the http://www.scala-lang.org/downloads/index.html)
    1.13 +  [ISABELLE_HOME]/lib/classes/Pure.jar   ->  [JEDIT_SETTINGS]/jars/isabelle-Pure.jar
    1.14 +  [ISABELLE_HOME]/lib/jedit/isabelle.jar ->  [JEDIT_SETTINGS]/jars/isabelle.jar
    1.15 +
    1.16 +2) Install scala-library.jar from the regular Scala distribution,
    1.17 +cf. the http://www.scala-lang.org/downloads/index.html as
    1.18 +
    1.19 +  [JEDIT_SETTINGS]/jars/isabelle-scala-library.jar
    1.20  
    1.21  3) Enable the plugin using the manager of jEdit; invoke the "isabelle"
    1.22  editor action.  The resulting window may be docked, e.g. at bottom.

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