# HG changeset patch
# User wenzelm
# Date 1229776068 -3600
# Node ID 283a974972b4709ae240bbccef42e77c44faec09
# Parent  3f76ce248c0efd31d7b5ec1cac7cab8dcd4dff90
obsolete, cf. build.xml and makedist;

diff -r 3f76ce248c0e -r 283a974972b4 src/Tools/jEdit/plugin/IsabellePlugin.ant
--- 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