Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper path to isabelle.jar;
authorwenzelm
Tue, 03 Jun 2008 11:55:35 +0200
changeset 27062 9681f347b6f5
parent 27061 a057cb0d7d55
child 27063 d1d35284542f
proper path to isabelle.jar;
lib/jedit/README file | annotate | diff | comparison | revisions 
--- 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
isabelle