# HG changeset patch
# User wenzelm
# Date 1261428583 -3600
# Node ID c535fdd61732b4c3c51582ecb724a2d9fb2b1068
# Parent  e65352f1242115abe4f86dae8accd944f08b7761
tuned keywords;

diff -r e65352f12421 -r c535fdd61732 src/Tools/jEdit/dist-template/modes/isabelle.xml
--- 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>