1.1 --- a/etc/isar-keywords-ZF.el	Mon Oct 08 22:03:31 2007 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Mon Oct 08 22:06:32 2007 +0200
     1.3 @@ -159,6 +159,7 @@
     1.4      "show"
     1.5      "simproc_setup"
     1.6      "sorry"
     1.7 +    "subclass"
     1.8      "subsect"
     1.9      "subsection"
    1.10      "subsubsect"
    1.11 @@ -407,6 +408,7 @@
    1.12      "instance_proof"
    1.13      "interpretation"
    1.14      "lemma"
    1.15 +    "subclass"
    1.16      "theorem"))
    1.17  
    1.18  (defconst isar-keywords-qed

     2.1 --- a/etc/isar-keywords.el	Mon Oct 08 22:03:31 2007 +0200
     2.2 +++ b/etc/isar-keywords.el	Mon Oct 08 22:06:32 2007 +0200
     2.3 @@ -198,6 +198,7 @@
     2.4      "sledgehammer"
     2.5      "sorry"
     2.6      "specification"
     2.7 +    "subclass"
     2.8      "subsect"
     2.9      "subsection"
    2.10      "subsubsect"
    2.11 @@ -506,6 +507,7 @@
    2.12      "pcpodef"
    2.13      "recdef_tc"
    2.14      "specification"
    2.15 +    "subclass"
    2.16      "termination"
    2.17      "theorem"
    2.18      "typedef"))

     3.1 --- a/lib/jedit/isabelle.xml	Mon Oct 08 22:03:31 2007 +0200
     3.2 +++ b/lib/jedit/isabelle.xml	Mon Oct 08 22:06:32 2007 +0200
     3.3 @@ -282,6 +282,7 @@
     3.4        <OPERATOR>specification</OPERATOR>
     3.5        <KEYWORD4>states</KEYWORD4>
     3.6        <KEYWORD4>structure</KEYWORD4>
     3.7 +      <OPERATOR>subclass</OPERATOR>
     3.8        <OPERATOR>subsect</OPERATOR>
     3.9        <OPERATOR>subsection</OPERATOR>
    3.10        <OPERATOR>subsubsect</OPERATOR>