Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/nbproject/project.properties
changeset 34393 f0e1608a774f
parent 34381 a94d2fb96fd5
child 34563 0c1c8f8ee384 
--- a/src/Tools/jEdit/nbproject/project.properties	Sat Nov 29 19:31:09 2008 +0100
+++ b/src/Tools/jEdit/nbproject/project.properties	Sun Nov 30 19:18:59 2008 +0100
@@ -32,7 +32,9 @@
 javac.classpath=\
     ${libs.Flying-Saucer.classpath}:\
     ${reference.jEdit.build}:\
-    ${libs.Isabelle-Pure.classpath}
+    ${libs.Isabelle-Pure.classpath}:\
+    ${libs.Sidekick.classpath}:\
+    ${libs.ErrorList.classpath}
 # Space-separated list of extra javac options
 javac.compilerargs=
 javac.deprecation=false
isabelle