src/Tools/jEdit/dist-template/modes/isabelle.xml
changeset 34797 c535fdd61732
parent 34473 ed22ea317108
child 37057 e70f9230c608
--- 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>