etc/isar-keywords-ZF.el
changeset 18552 30911da9fb27
parent 18541 00890455e95f
child 18612 7300f75028dc
     1.1 --- a/etc/isar-keywords-ZF.el	Tue Jan 03 11:32:55 2006 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Tue Jan 03 11:33:18 2006 +0100
     1.3 @@ -33,7 +33,7 @@
     1.4      "case"
     1.5      "cd"
     1.6      "chapter"
     1.7 -    "class_class"
     1.8 +    "class"
     1.9      "classes"
    1.10      "classrel"
    1.11      "clear_undos"
    1.12 @@ -333,7 +333,7 @@
    1.13      "arities"
    1.14      "axclass"
    1.15      "axioms"
    1.16 -    "class_class"
    1.17 +    "class"
    1.18      "classes"
    1.19      "classrel"
    1.20      "codatatype"