etc/isar-keywords.el
changeset 18552 30911da9fb27
parent 18541 00890455e95f
child 18612 7300f75028dc
     1.1 --- a/etc/isar-keywords.el	Tue Jan 03 11:32:55 2006 +0100
     1.2 +++ b/etc/isar-keywords.el	Tue Jan 03 11:33:18 2006 +0100
     1.3 @@ -36,7 +36,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 @@ -365,7 +365,7 @@
    1.13      "automaton"
    1.14      "axclass"
    1.15      "axioms"
    1.16 -    "class_class"
    1.17 +    "class"
    1.18      "classes"
    1.19      "classrel"
    1.20      "code_alias"