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/src/modes/isabelle.xml
changeset 52547 0ddcfc0d05d4
parent 47391 d78fbe191544
child 53133 427724cff970 
--- a/src/Tools/jEdit/src/modes/isabelle.xml	Sun Jul 07 17:30:16 2013 +0200
+++ b/src/Tools/jEdit/src/modes/isabelle.xml	Sun Jul 07 17:52:13 2013 +0200
@@ -29,14 +29,5 @@
       <BEGIN>"</BEGIN>
       <END>"</END>
     </SPAN>
-    <KEYWORDS>
-      <KEYWORD2>header</KEYWORD2>
-      <KEYWORD1>theory</KEYWORD1>
-      <KEYWORD2>imports</KEYWORD2>
-      <KEYWORD2>keywords</KEYWORD2>
-      <KEYWORD2>uses</KEYWORD2>
-      <KEYWORD2>begin</KEYWORD2>
-      <KEYWORD2>end</KEYWORD2>
-    </KEYWORDS>
   </RULES>
 </MODE>
isabelle