etc/isar-keywords.el
changeset 20453 855f07fabd76
parent 20424 d5b4b55ad277
child 20523 36a59e5d0039
--- a/etc/isar-keywords.el	Thu Aug 31 23:01:16 2006 +0200
+++ b/etc/isar-keywords.el	Fri Sep 01 08:36:51 2006 +0200
@@ -43,8 +43,9 @@
     "classrel"
     "clear_undos"
     "code_class"
-    "code_constapp"
+    "code_const"
     "code_constname"
+    "code_gen"
     "code_generate"
     "code_instance"
     "code_library"
@@ -52,7 +53,7 @@
     "code_purge"
     "code_serialize"
     "code_simtype"
-    "code_typapp"
+    "code_type"
     "code_typename"
     "coinductive"
     "commit"
@@ -389,15 +390,16 @@
     "classes"
     "classrel"
     "code_class"
-    "code_constapp"
+    "code_const"
     "code_constname"
+    "code_gen"
     "code_generate"
     "code_instance"
     "code_library"
     "code_module"
     "code_purge"
     "code_serialize"
-    "code_typapp"
+    "code_type"
     "code_typename"
     "coinductive"
     "const_syntax"