--- a/src/Tools/jEdit/dist-template/modes/isabelle.xml Mon Dec 21 15:13:42 2009 +0100
+++ b/src/Tools/jEdit/dist-template/modes/isabelle.xml Mon Dec 21 21:49:43 2009 +0100
@@ -32,12 +32,12 @@
<END>"</END>
</SPAN>
<KEYWORDS>
- <LABEL>header</LABEL>
- <KEYWORD4>theory</KEYWORD4>
- <KEYWORD4>imports</KEYWORD4>
- <KEYWORD4>uses</KEYWORD4>
- <KEYWORD4>begin</KEYWORD4>
- <KEYWORD4>end</KEYWORD4>
+ <KEYWORD2>header</KEYWORD2>
+ <KEYWORD1>theory</KEYWORD1>
+ <KEYWORD2>imports</KEYWORD2>
+ <KEYWORD2>uses</KEYWORD2>
+ <KEYWORD2>begin</KEYWORD2>
+ <KEYWORD2>end</KEYWORD2>
</KEYWORDS>
</RULES>
</MODE>