changeset 24919 | ad3a8569759c |
parent 24912 | 52bc004950c4 |
child 24945 | 2c27817065bc |
1.1 --- a/etc/isar-keywords.el Mon Oct 08 22:03:31 2007 +0200 1.2 +++ b/etc/isar-keywords.el Mon Oct 08 22:06:32 2007 +0200 1.3 @@ -198,6 +198,7 @@ 1.4 "sledgehammer" 1.5 "sorry" 1.6 "specification" 1.7 + "subclass" 1.8 "subsect" 1.9 "subsection" 1.10 "subsubsect" 1.11 @@ -506,6 +507,7 @@ 1.12 "pcpodef" 1.13 "recdef_tc" 1.14 "specification" 1.15 + "subclass" 1.16 "termination" 1.17 "theorem" 1.18 "typedef"))