--- a/src/Tools/jEdit/build.xml Thu Mar 19 13:15:27 2009 +0100
+++ b/src/Tools/jEdit/build.xml Thu Mar 19 13:16:07 2009 +0100
@@ -66,6 +66,10 @@
nbproject/build-impl.xml file.
-->
+ <target name="run" depends="Isabelle-jEdit-impl.jar,Isabelle-jEdit-impl.run">
+ </target>
+ <target name="debug" depends="Isabelle-jEdit-impl.jar,Isabelle-jEdit-impl.debug">
+ </target>
<target name="-pre-jar">
<copy file="plugin/services.xml" todir="${build.classes.dir}" />
<copy file="plugin/dockables.xml" todir="${build.classes.dir}" />