diff -r 028dc58ed804 -r ab6ce0d5662d lib/jedit/README
--- a/lib/jedit/README	Sun Jan 06 17:01:45 2008 +0100
+++ b/lib/jedit/README	Sun Jan 06 17:11:11 2008 +0100
@@ -1,7 +1,13 @@
-Basic Isabelle mode for jEdit -- http://www.jedit.org/
-======================================================
+Isabelle support for jEdit -- http://www.jedit.org/
+===================================================
 
-INSTALLATION
+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.
+
+
+Mode installation
+-----------------
 
 1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle.xml to
 [JEDIT_SETTINGS]/modes/
@@ -19,4 +25,22 @@
   </MODES>
 
 
+Plugin installation
+-------------------
+
+1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle/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)
+
+3) Enable the plugin using the manager of jEdit; invoke the "isabelle"
+editor action.  The resulting window may be docked, e.g. at bottom.
+
+Note that the Errorlist plugin provides some useful options like "Show
+error icons in the gutter", for immediate feedback of Isabelle
+warnings and errors in the source text.  The Errorlist window may be
+docked likewise.
+
+
 $Id$