src/Tools/jEdit/nbproject/project.properties

added jEdit Console and Scala compiler;

application.title=Isabelle-jEdit
application.vendor=makarius
application.args=-noserver -nobackground
build.classes.dir=${build.dir}/classes
build.classes.excludes=**/*.java,**/*.form,**/*.scala
# This directory is removed when the project is cleaned:
build.dir=build
build.generated.dir=${build.dir}/generated
# Only compile against the classpath explicitly listed here:
build.sysclasspath=ignore
build.test.classes.dir=${build.dir}/test/classes
build.test.results.dir=${build.dir}/test/results
debug.classpath=\
    ${run.classpath}
debug.test.classpath=\
    ${run.test.classpath}
# This directory is removed when the project is cleaned:
dist.dir=dist
# dist can be used as jEdits settings-directory;
# jEdit searches for plugins in the 'jars' subdirectory
# must include something like this to private.properties:
# application.args=-noserver -nobackground -settings=/absolute/path/to/project/dist
# 
dist.jar=${dist.dir}/jars/Isabelle-jEdit.jar
dist.javadoc.dir=${dist.dir}/javadoc
excludes=
file.reference.isabelle-jedit-src=src
file.reference.jedit.jar=/home/makarius/lib/jedit/current/jedit.jar
includes=**
jar.compress=false
java.platform.active=java_default_platform
javac.classpath=\
    ${reference.jEdit.build}:\
    ${libs.Isabelle-Pure.classpath}:\
    ${libs.Cobra-Renderer.classpath}:\
    ${libs.Rhino-JavaScript.classpath}:\
    ${libs.ErrorList.classpath}:\
    ${libs.Hyperlinks.classpath}:\
    ${libs.SideKick.classpath}:\
    ${libs.Console.classpath}:\
    ${libs.Scala-compiler.classpath}
# Space-separated list of extra javac options
javac.compilerargs=
javac.deprecation=false
javac.source=1.5
javac.target=1.5
javac.test.classpath=\
    ${javac.classpath}:\
    ${build.classes.dir}:\
    ${libs.junit.classpath}:\
    ${libs.junit_4.classpath}
javadoc.additionalparam=
javadoc.author=false
javadoc.encoding=${source.encoding}
javadoc.noindex=false
javadoc.nonavbar=false
javadoc.notree=false
javadoc.private=false
javadoc.splitindex=true
javadoc.use=true
javadoc.version=false
javadoc.windowtitle=
main.class=org.gjt.sp.jedit.jEdit
manifest.file=manifest.mf
meta.inf.dir=${src.dir}/META-INF
platform.active=default_platform
project.jEdit=contrib/jEdit
reference.jEdit.build=${project.jEdit}/build/jEdit.jar
run.classpath=\
    ${javac.classpath}:\
    ${build.classes.dir}
run.jvmargs=-Xms128m -Xmx512m
run.test.classpath=\
    ${javac.test.classpath}:\
    ${build.test.classes.dir}
source.encoding=UTF-8
src.dir=${file.reference.isabelle-jedit-src}