# HG changeset patch
# User wenzelm
# Date 1219526231 -7200
# Node ID fbec8e89f255269b3c089db948dc475b5bf9eb7c
# Parent  1dfb0e260e4cb7fe02987dbb6218c5873f22f0fd
updated to Pure.jar;

diff -r 1dfb0e260e4c -r fbec8e89f255 lib/jedit/README
--- a/lib/jedit/README	Sat Aug 23 23:07:46 2008 +0200
+++ b/lib/jedit/README	Sat Aug 23 23:17:11 2008 +0200
@@ -2,8 +2,8 @@
 ===================================================
 
 This provides both a basic editing "mode" (with some degree of syntax
-highlighting), and a proper "plugin" with some support for interaction
-with the Isabelle process.
+highlighting), and a minimal "plugin" with some support for
+interaction with the Isabelle process.
 
 
 Mode installation
@@ -28,8 +28,8 @@
 Plugin installation
 -------------------
 
-1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle.jar to
-[JEDIT_SETTINGS]/jars/
+1) Copy or symlink [ISABELLE_HOME]/lib/classes/Pure.jar and
+[ISABELLE_HOME]/lib/jedit/isabelle.jar to [JEDIT_SETTINGS]/jars/
 
 2) Install scala-library.jar likewise (taken from the regular Scala
 distribution, cf. the http://www.scala-lang.org/downloads/index.html)