# HG changeset patch
# User haftmann
# Date 1136284398 -3600
# Node ID 30911da9fb2712304c58aac3c226bd6218730cf3
# Parent  be0705186ff5e7776dfa0eed308dfd6a360c0931
class now a keyword

diff -r be0705186ff5 -r 30911da9fb27 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Tue Jan 03 11:32:55 2006 +0100
+++ b/etc/isar-keywords-ZF.el	Tue Jan 03 11:33:18 2006 +0100
@@ -33,7 +33,7 @@
     "case"
     "cd"
     "chapter"
-    "class_class"
+    "class"
     "classes"
     "classrel"
     "clear_undos"
@@ -333,7 +333,7 @@
     "arities"
     "axclass"
     "axioms"
-    "class_class"
+    "class"
     "classes"
     "classrel"
     "codatatype"
diff -r be0705186ff5 -r 30911da9fb27 etc/isar-keywords.el
--- 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"