Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
insert mode isabelle into catalog
authorimmler@in.tum.de
Wed, 08 Jul 2009 13:29:42 +0200
changeset 34647 2b8d2acfda4e
parent 34646 9560a458efed
child 34648 8213a350fd45
insert mode isabelle into catalog
src/Tools/jEdit/build.xml file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/build.xml	Sun Jul 05 17:53:27 2009 +0200
+++ b/src/Tools/jEdit/build.xml	Wed Jul 08 13:29:42 2009 +0200
@@ -88,10 +88,14 @@
       <!-- dist-template -->
       <copy file="dist-template/properties/jedit.props" tofile="${dist.dir}/properties" />
       <copy todir="${dist.dir}/modes">
-        <fileset dir="dist-template/modes">
-          <exclude name="catalog-template" />
-        </fileset>
+        <fileset dir="dist-template/modes" />
+      </copy>
+      <copy todir="${dist.dir}/modes" overwrite="true">
+        <fileset dir="${project.jEdit}/modes" />
       </copy>
-      <copy file="dist-template/modes/catalog-template" tofile="${dist.dir}/modes/catalog" />
+      <replaceregexp byline="true" file="${dist.dir}/modes/catalog">
+        <regexp pattern='(^.*NAME="javacc".*$)'/>
+        <substitution expression="&lt;MODE NAME=&quot;isabelle&quot; FILE=&quot;isabelle.xml&quot; FILE_NAME_GLOB=&quot;*.thy&quot;/&gt;${line.separator}${line.separator}\1"/>
+      </replaceregexp>
     </target>
 </project>
isabelle