Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/build.xml
changeset 34418 5f25eb86c6a0
parent 34351 1c919f65c296
child 34512 14d70378f1c7 
--- a/src/Tools/jEdit/build.xml	Sat Dec 20 14:19:12 2008 +0100
+++ b/src/Tools/jEdit/build.xml	Sat Dec 20 14:48:10 2008 +0100
@@ -70,6 +70,6 @@
       <copy file="plugin/services.xml" todir="${build.classes.dir}" />
       <copy file="plugin/dockables.xml" todir="${build.classes.dir}" />
       <copy file="plugin/actions.xml" todir="${build.classes.dir}" />
-      <copy file="plugin/IsabellePlugin.props" todir="${build.classes.dir}" />
+      <copy file="plugin/Isabelle.props" todir="${build.classes.dir}" />
     </target>
 </project>
isabelle