# HG changeset patch
# User wenzelm
# Date 1231707160 -3600
# Node ID ed22ea317108215619348094180cb9707c6c12c4
# Parent  d4d404c4a404b356d2d4658265522470d0c1499d
unified with dynamic version;

diff -r d4d404c4a404 -r ed22ea317108 src/Tools/jEdit/dist-template/modes/isabelle.xml
--- a/src/Tools/jEdit/dist-template/modes/isabelle.xml	Sun Jan 11 21:52:22 2009 +0100
+++ b/src/Tools/jEdit/dist-template/modes/isabelle.xml	Sun Jan 11 21:52:40 2009 +0100
@@ -33,7 +33,7 @@
     </SPAN>
     <KEYWORDS>
       <LABEL>header</LABEL>
-      <KEYWORD3>theory</KEYWORD3>
+      <KEYWORD4>theory</KEYWORD4>
       <KEYWORD4>imports</KEYWORD4>
       <KEYWORD4>uses</KEYWORD4>
       <KEYWORD4>begin</KEYWORD4>