etc/isar-keywords.el
changeset 18552 30911da9fb27
parent 18541 00890455e95f
child 18612 7300f75028dc
--- a/etc/isar-keywords.el	Tue Jan 03 11:32:55 2006 +0100
+++ b/etc/isar-keywords.el	Tue Jan 03 11:33:18 2006 +0100
@@ -36,7 +36,7 @@
     "case"
     "cd"
     "chapter"
-    "class_class"
+    "class"
     "classes"
     "classrel"
     "clear_undos"
@@ -365,7 +365,7 @@
     "automaton"
     "axclass"
     "axioms"
-    "class_class"
+    "class"
     "classes"
     "classrel"
     "code_alias"