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

     ${libs.Flying-Saucer.classpath}:\

     ${reference.jEdit.build}:\

     ${libs.Isabelle-Pure.classpath}:\

     ${libs.Sidekick.classpath}:\

     ${libs.ErrorList.classpath}:\

     ${libs.Hyperlink.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}