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.
unified with dynamic version;
authorwenzelm
Sun, 11 Jan 2009 21:52:40 +0100
changeset 34473 ed22ea317108
parent 34472 d4d404c4a404
child 34474 5f078db3cfc5
unified with dynamic version;
src/Tools/jEdit/dist-template/modes/isabelle.xml file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/dist-template/modes/isabelle.xml	Sun Jan 11 21:52:22 2009 +0100
+++ b/src/Tools/jEdit/dist-template/modes/isabelle.xml	Sun Jan 11 21:52:40 2009 +0100
@@ -33,7 +33,7 @@
     </SPAN>
     <KEYWORDS>
       <LABEL>header</LABEL>
-      <KEYWORD3>theory</KEYWORD3>
+      <KEYWORD4>theory</KEYWORD4>
       <KEYWORD4>imports</KEYWORD4>
       <KEYWORD4>uses</KEYWORD4>
       <KEYWORD4>begin</KEYWORD4>
isabelle