proper path to isabelle.jar;
authorwenzelm
Tue Jun 03 11:55:35 2008 +0200 (2008-06-03)
changeset 270629681f347b6f5
parent 27061 a057cb0d7d55
child 27063 d1d35284542f
proper path to isabelle.jar;
lib/jedit/README
     1.1 --- a/lib/jedit/README	Tue Jun 03 00:20:22 2008 +0200
     1.2 +++ b/lib/jedit/README	Tue Jun 03 11:55:35 2008 +0200
     1.3 @@ -28,7 +28,7 @@
     1.4  Plugin installation
     1.5  -------------------
     1.6  
     1.7 -1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle/isabelle.jar to
     1.8 +1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle.jar to
     1.9  [JEDIT_SETTINGS]/jars/
    1.10  
    1.11  2) Install scala-library.jar likewise (taken from the regular Scala