tuned library names;
authorwenzelm
Tue Dec 08 16:44:30 2009 +0100 (2009-12-08)
changeset 347610ad6d8372f9d
parent 34760 dc7f5e0d9d27
child 34762 0974378d235a
tuned library names;
src/Tools/jEdit/README_BUILD
src/Tools/jEdit/nbproject/project.properties
     1.1 --- a/src/Tools/jEdit/README_BUILD	Tue Dec 08 16:30:20 2009 +0100
     1.2 +++ b/src/Tools/jEdit/README_BUILD	Tue Dec 08 16:44:30 2009 +0100
     1.3 @@ -19,9 +19,9 @@
     1.4    Netbeans Project "jEdit": install official sources as ./contrib/jEdit/.
     1.5  
     1.6  * jEdit plugins:
     1.7 -    Netbeans Library "Sidekick" = $HOME/.jedit/jars/SideKick.jar
     1.8 +    Netbeans Library "SideKick" = $HOME/.jedit/jars/SideKick.jar
     1.9      Netbeans Library "ErrorList" = $HOME/.jedit/jars/ErrorList.jar
    1.10 -    Netbeans Library "Hyperlink" = $HOME/.jedit/jars/Hyperlinks.jar
    1.11 +    Netbeans Library "Hyperlinks" = $HOME/.jedit/jars/Hyperlinks.jar
    1.12  
    1.13  * Cobra Renderer
    1.14    http://lobobrowser.org/cobra.jsp
     2.1 --- a/src/Tools/jEdit/nbproject/project.properties	Tue Dec 08 16:30:20 2009 +0100
     2.2 +++ b/src/Tools/jEdit/nbproject/project.properties	Tue Dec 08 16:44:30 2009 +0100
     2.3 @@ -32,11 +32,11 @@
     2.4  javac.classpath=\
     2.5      ${reference.jEdit.build}:\
     2.6      ${libs.Isabelle-Pure.classpath}:\
     2.7 -    ${libs.Sidekick.classpath}:\
     2.8 +    ${libs.Cobra-Renderer.classpath}:\
     2.9 +    ${libs.Rhino-JavaScript.classpath}:\
    2.10      ${libs.ErrorList.classpath}:\
    2.11 -    ${libs.Hyperlink.classpath}:\
    2.12 -    ${libs.Cobra-Renderer.classpath}:\
    2.13 -    ${libs.Rhino-JavaScript.classpath}
    2.14 +    ${libs.Hyperlinks.classpath}:\
    2.15 +    ${libs.SideKick.classpath}
    2.16  # Space-separated list of extra javac options
    2.17  javac.compilerargs=
    2.18  javac.deprecation=false