src/Tools/jEdit/plugin/IsabellePlugin.ant

basic Netbeans project setup;

<?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>