diff -r 580c37559354 -r d78fbe191544 src/Tools/jEdit/src/modes/isabelle.xml
--- 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 @@
header
theory
imports
+ keywords
uses
begin
end