# HG changeset patch
# User immler@in.tum.de
# Date 1237464967 -3600
# Node ID f76e733774386f03db08ea505bbd02a93bb17b58
# Parent  f0df6a866aa7f637a5068b35f0c5eb2c208e8793
build jar before running/debugging

diff -r f0df6a866aa7 -r f76e73377438 src/Tools/jEdit/build.xml
--- 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}" />