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>