lib/jedit/README
changeset 27975 fbec8e89f255
parent 27062 9681f347b6f5
child 27997 64957539cdf4
     1.1 --- a/lib/jedit/README	Sat Aug 23 23:07:46 2008 +0200
     1.2 +++ b/lib/jedit/README	Sat Aug 23 23:17:11 2008 +0200
     1.3 @@ -2,8 +2,8 @@
     1.4  ===================================================
     1.5  
     1.6  This provides both a basic editing "mode" (with some degree of syntax
     1.7 -highlighting), and a proper "plugin" with some support for interaction
     1.8 -with the Isabelle process.
     1.9 +highlighting), and a minimal "plugin" with some support for
    1.10 +interaction with the Isabelle process.
    1.11  
    1.12  
    1.13  Mode installation
    1.14 @@ -28,8 +28,8 @@
    1.15  Plugin installation
    1.16  -------------------
    1.17  
    1.18 -1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle.jar to
    1.19 -[JEDIT_SETTINGS]/jars/
    1.20 +1) Copy or symlink [ISABELLE_HOME]/lib/classes/Pure.jar and
    1.21 +[ISABELLE_HOME]/lib/jedit/isabelle.jar to [JEDIT_SETTINGS]/jars/
    1.22  
    1.23  2) Install scala-library.jar likewise (taken from the regular Scala
    1.24  distribution, cf. the http://www.scala-lang.org/downloads/index.html)