# HG changeset patch
# User wenzelm
# Date 1212486935 -7200
# Node ID 9681f347b6f54cb71fa49c815dba70ba25e6d8a5
# Parent  a057cb0d7d55656ab183ab9ae63dd021dd823bfa
proper path to isabelle.jar;

diff -r a057cb0d7d55 -r 9681f347b6f5 lib/jedit/README
--- a/lib/jedit/README	Tue Jun 03 00:20:22 2008 +0200
+++ b/lib/jedit/README	Tue Jun 03 11:55:35 2008 +0200
@@ -28,7 +28,7 @@
 Plugin installation
 -------------------
 
-1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle/isabelle.jar to
+1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle.jar to
 [JEDIT_SETTINGS]/jars/
 
 2) Install scala-library.jar likewise (taken from the regular Scala