# HG changeset patch
# User wenzelm
# Date 1373212333 -7200
# Node ID 0ddcfc0d05d4ad7ca1750b37e00fd9034109b5cb
# Parent 7118524a2a245a66d1ff29299743c3c9399af6eb
removed pointless / outdated keywords, superseded by specific Token_Markup.Marker;
diff -r 7118524a2a24 -r 0ddcfc0d05d4 src/Tools/jEdit/src/modes/isabelle.xml
--- a/src/Tools/jEdit/src/modes/isabelle.xml Sun Jul 07 17:30:16 2013 +0200
+++ b/src/Tools/jEdit/src/modes/isabelle.xml Sun Jul 07 17:52:13 2013 +0200
@@ -29,14 +29,5 @@
"
"
-
- header
- theory
- imports
- keywords
- uses
- begin
- end
-