Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/README_BUILD
changeset 34761 0ad6d8372f9d
parent 34755 bc255171994b
child 34763 eb0f4a9ec052 
--- a/src/Tools/jEdit/README_BUILD	Tue Dec 08 16:30:20 2009 +0100
+++ b/src/Tools/jEdit/README_BUILD	Tue Dec 08 16:44:30 2009 +0100
@@ -19,9 +19,9 @@
   Netbeans Project "jEdit": install official sources as ./contrib/jEdit/.
 
 * jEdit plugins:
-    Netbeans Library "Sidekick" = $HOME/.jedit/jars/SideKick.jar
+    Netbeans Library "SideKick" = $HOME/.jedit/jars/SideKick.jar
     Netbeans Library "ErrorList" = $HOME/.jedit/jars/ErrorList.jar
-    Netbeans Library "Hyperlink" = $HOME/.jedit/jars/Hyperlinks.jar
+    Netbeans Library "Hyperlinks" = $HOME/.jedit/jars/Hyperlinks.jar
 
 * Cobra Renderer
   http://lobobrowser.org/cobra.jsp
isabelle