--- a/src/Tools/jEdit/nbproject/project.properties Wed Nov 19 20:51:27 2008 +0100
+++ b/src/Tools/jEdit/nbproject/project.properties Sat Nov 22 00:51:27 2008 +0100
@@ -30,8 +30,8 @@
jar.compress=false
java.platform.active=java_default_platform
javac.classpath=\
- ${libs.jEdit.classpath}:\
${libs.Flying-Saucer.classpath}:\
+ ${reference.jEdit.build}:\
${libs.Isabelle-Pure.classpath}
# Space-separated list of extra javac options
javac.compilerargs=
@@ -58,6 +58,8 @@
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}