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.
updated header keywords;
authorwenzelm
Sat, 07 Apr 2012 17:48:47 +0200
changeset 47391 d78fbe191544
parent 47390 580c37559354
child 47392 6a08fd7a6071
updated header keywords;
src/Tools/jEdit/src/modes/isabelle.xml file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/modes/isabelle.xml	Sat Apr 07 16:59:27 2012 +0200
+++ b/src/Tools/jEdit/src/modes/isabelle.xml	Sat Apr 07 17:48:47 2012 +0200
@@ -33,6 +33,7 @@
       <KEYWORD2>header</KEYWORD2>
       <KEYWORD1>theory</KEYWORD1>
       <KEYWORD2>imports</KEYWORD2>
+      <KEYWORD2>keywords</KEYWORD2>
       <KEYWORD2>uses</KEYWORD2>
       <KEYWORD2>begin</KEYWORD2>
       <KEYWORD2>end</KEYWORD2>
isabelle