--- 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
--- 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