# HG changeset patch
# User haftmann
# Date 1191873992 -7200
# Node ID ad3a8569759cc5cadf91342677a361989d1934e6
# Parent  22013215eece30c47843d73a5d0fd9fa08086d24
updated keywords

diff -r 22013215eece -r ad3a8569759c etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Mon Oct 08 22:03:31 2007 +0200
+++ b/etc/isar-keywords-ZF.el	Mon Oct 08 22:06:32 2007 +0200
@@ -159,6 +159,7 @@
     "show"
     "simproc_setup"
     "sorry"
+    "subclass"
     "subsect"
     "subsection"
     "subsubsect"
@@ -407,6 +408,7 @@
     "instance_proof"
     "interpretation"
     "lemma"
+    "subclass"
     "theorem"))
 
 (defconst isar-keywords-qed
diff -r 22013215eece -r ad3a8569759c etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Oct 08 22:03:31 2007 +0200
+++ b/etc/isar-keywords.el	Mon Oct 08 22:06:32 2007 +0200
@@ -198,6 +198,7 @@
     "sledgehammer"
     "sorry"
     "specification"
+    "subclass"
     "subsect"
     "subsection"
     "subsubsect"
@@ -506,6 +507,7 @@
     "pcpodef"
     "recdef_tc"
     "specification"
+    "subclass"
     "termination"
     "theorem"
     "typedef"))
diff -r 22013215eece -r ad3a8569759c lib/jedit/isabelle.xml
--- a/lib/jedit/isabelle.xml	Mon Oct 08 22:03:31 2007 +0200
+++ b/lib/jedit/isabelle.xml	Mon Oct 08 22:06:32 2007 +0200
@@ -282,6 +282,7 @@
       <OPERATOR>specification</OPERATOR>
       <KEYWORD4>states</KEYWORD4>
       <KEYWORD4>structure</KEYWORD4>
+      <OPERATOR>subclass</OPERATOR>
       <OPERATOR>subsect</OPERATOR>
       <OPERATOR>subsection</OPERATOR>
       <OPERATOR>subsubsect</OPERATOR>