obsolete, cf. build.xml and makedist;

--- a/src/Tools/jEdit/plugin/IsabellePlugin.ant	Sat Dec 20 12:32:40 2008 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-<?xml version="1.0"?>
-<project name="IsabellePlugin installer" default="install" basedir=".">
-  <target name="install">
-  	<copy file="services.xml" todir="bin" />
-  	<copy file="dockables.xml" todir="bin" />
-  	<copy file="actions.xml" todir="bin" />
-  	<copy file="IsabellePlugin.props" todir="bin" />
-    <jar destfile="IsabellePlugin.jar" basedir="bin" /> 
-  </target>
-</project>
\ No newline at end of file