# HG changeset patch
# User wenzelm
# Date 1216304346 -7200
# Node ID 93d36ef12f0808b331bb1cd9e300c9aadf031c02
# Parent  b9ec32fb5f6399fe07f086bb4551b486758ddd8a
tuned;

diff -r b9ec32fb5f63 -r 93d36ef12f08 lib/classes/mk
--- a/lib/classes/mk	Thu Jul 17 16:17:05 2008 +0200
+++ b/lib/classes/mk	Thu Jul 17 16:19:06 2008 +0200
@@ -3,6 +3,8 @@
 
 rm -rf build/ && mkdir -p build
 
+rm -f isabelle.jar
+
 javac -d build isabelle/IsabelleProcess.java \
 && (
   cd build
@@ -10,4 +12,3 @@
 )
 
 rm -rf build/
-
diff -r b9ec32fb5f63 -r 93d36ef12f08 lib/jedit/plugin/mk
--- a/lib/jedit/plugin/mk	Thu Jul 17 16:17:05 2008 +0200
+++ b/lib/jedit/plugin/mk	Thu Jul 17 16:19:06 2008 +0200
@@ -8,6 +8,8 @@
 rm -rf build/ && mkdir -p build
 ( cd build; jar xf ../../../classes/isabelle.jar )
 
+rm -f ../isabelle.jar
+
 scalac -d build \
   -cp $JEDIT_HOME/jedit.jar:$PLUGINS/SideKick.jar:$PLUGINS/ErrorList.jar:$PLUGINS/Console.jar \
   isabelle/IsabellePlugin.scala \
@@ -20,4 +22,3 @@
 )
 
 rm -rf build/
-