1.1 --- a/src/Tools/jEdit/nbproject/project.properties	Wed Jun 08 17:01:07 2011 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,81 +0,0 @@
     1.4 -application.title=Isabelle-jEdit
     1.5 -application.vendor=makarius
     1.6 -application.args=-noserver -nobackground
     1.7 -build.classes.dir=${build.dir}/classes
     1.8 -build.classes.excludes=**/*.java,**/*.form,**/*.scala
     1.9 -# This directory is removed when the project is cleaned:
    1.10 -build.dir=build
    1.11 -build.generated.dir=${build.dir}/generated
    1.12 -# Only compile against the classpath explicitly listed here:
    1.13 -build.sysclasspath=ignore
    1.14 -build.test.classes.dir=${build.dir}/test/classes
    1.15 -build.test.results.dir=${build.dir}/test/results
    1.16 -debug.classpath=\
    1.17 -    ${run.classpath}
    1.18 -debug.test.classpath=\
    1.19 -    ${run.test.classpath}
    1.20 -# This directory is removed when the project is cleaned:
    1.21 -dist.dir=dist
    1.22 -# dist can be used as jEdits settings-directory;
    1.23 -# jEdit searches for plugins in the 'jars' subdirectory
    1.24 -# must include something like this to private.properties:
    1.25 -# application.args=-noserver -nobackground -settings=/absolute/path/to/project/dist
    1.26 -# 
    1.27 -dist.jar=${dist.dir}/jars/Isabelle-jEdit.jar
    1.28 -dist.javadoc.dir=${dist.dir}/javadoc
    1.29 -excludes=
    1.30 -file.reference.isabelle-jedit-src=src
    1.31 -file.reference.jedit.jar=/home/makarius/lib/jedit/current/jedit.jar
    1.32 -includes=**
    1.33 -jar.compress=false
    1.34 -java.platform.active=java_default_platform
    1.35 -javac.classpath=\
    1.36 -    ${reference.jEdit.build}:\
    1.37 -    ${libs.Isabelle-Pure.classpath}:\
    1.38 -    ${libs.Cobra-Renderer.classpath}:\
    1.39 -    ${libs.Rhino-JavaScript.classpath}:\
    1.40 -    ${libs.ErrorList.classpath}:\
    1.41 -    ${libs.Hyperlinks.classpath}:\
    1.42 -    ${libs.SideKick.classpath}:\
    1.43 -    ${libs.Console.classpath}:\
    1.44 -    ${libs.Scala-compiler.classpath}
    1.45 -# Space-separated list of extra javac options
    1.46 -javac.compilerargs=
    1.47 -javac.deprecation=false
    1.48 -javac.source=1.5
    1.49 -javac.target=1.5
    1.50 -javac.test.classpath=\
    1.51 -    ${javac.classpath}:\
    1.52 -    ${build.classes.dir}:\
    1.53 -    ${libs.junit.classpath}:\
    1.54 -    ${libs.junit_4.classpath}
    1.55 -javadoc.additionalparam=
    1.56 -javadoc.author=false
    1.57 -javadoc.encoding=${source.encoding}
    1.58 -javadoc.noindex=false
    1.59 -javadoc.nonavbar=false
    1.60 -javadoc.notree=false
    1.61 -javadoc.private=false
    1.62 -javadoc.splitindex=true
    1.63 -javadoc.use=true
    1.64 -javadoc.version=false
    1.65 -javadoc.windowtitle=
    1.66 -main.class=org.gjt.sp.jedit.jEdit
    1.67 -manifest.file=manifest.mf
    1.68 -meta.inf.dir=${src.dir}/META-INF
    1.69 -platform.active=default_platform
    1.70 -project.jEdit=contrib/jEdit
    1.71 -reference.jEdit.build=${project.jEdit}/build/jEdit.jar
    1.72 -run.classpath=\
    1.73 -    ${javac.classpath}:\
    1.74 -    ${build.classes.dir}
    1.75 -run.jvmargs=-Xms128m -Xmx512m
    1.76 -run.test.classpath=\
    1.77 -    ${javac.test.classpath}:\
    1.78 -    ${build.test.classes.dir}
    1.79 -source.encoding=UTF-8
    1.80 -src.dir=${file.reference.isabelle-jedit-src}
    1.81 -scalac.compilerargs=
    1.82 -scalac.deprecation=yes
    1.83 -scalac.unchecked=yes
    1.84 -