# HG changeset patch
# User wenzelm
# Date 1260287070 -3600
# Node ID 0ad6d8372f9d141bbf2788ce431c2ecfdf7d75b2
# Parent  dc7f5e0d9d27fb0905bfbf18c9562205090c8c5c
tuned library names;

diff -r dc7f5e0d9d27 -r 0ad6d8372f9d src/Tools/jEdit/README_BUILD
--- 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
diff -r dc7f5e0d9d27 -r 0ad6d8372f9d src/Tools/jEdit/nbproject/project.properties
--- a/src/Tools/jEdit/nbproject/project.properties	Tue Dec 08 16:30:20 2009 +0100
+++ b/src/Tools/jEdit/nbproject/project.properties	Tue Dec 08 16:44:30 2009 +0100
@@ -32,11 +32,11 @@
 javac.classpath=\
     ${reference.jEdit.build}:\
     ${libs.Isabelle-Pure.classpath}:\
-    ${libs.Sidekick.classpath}:\
+    ${libs.Cobra-Renderer.classpath}:\
+    ${libs.Rhino-JavaScript.classpath}:\
     ${libs.ErrorList.classpath}:\
-    ${libs.Hyperlink.classpath}:\
-    ${libs.Cobra-Renderer.classpath}:\
-    ${libs.Rhino-JavaScript.classpath}
+    ${libs.Hyperlinks.classpath}:\
+    ${libs.SideKick.classpath}
 # Space-separated list of extra javac options
 javac.compilerargs=
 javac.deprecation=false