Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated keywords
authorhaftmann
Mon, 08 Oct 2007 22:06:32 +0200
changeset 24919 ad3a8569759c
parent 24918 22013215eece
child 24920 2a45e400fdad
updated keywords
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions
lib/jedit/isabelle.xml file | annotate | diff | comparison | revisions 
--- 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
--- 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"))
--- 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>
isabelle