src/Tools/jEdit/src/modes/isabelle.xml
changeset 47391 d78fbe191544
parent 43287 acc680ab6204
child 52547 0ddcfc0d05d4
--- 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>