etc/isar-keywords-ZF.el
changeset 20568 9b7f59c1bdfc
parent 20453 855f07fabd76
child 20586 548fd4cd2eb3
--- a/etc/isar-keywords-ZF.el	Mon Sep 18 16:21:24 2006 +0200
+++ b/etc/isar-keywords-ZF.el	Mon Sep 18 19:12:40 2006 +0200
@@ -36,6 +36,7 @@
     "cd"
     "chapter"
     "class"
+    "class_deps"
     "classes"
     "classrel"
     "clear_undos"
@@ -44,12 +45,10 @@
     "code_const"
     "code_constname"
     "code_gen"
-    "code_generate"
     "code_instance"
     "code_library"
     "code_module"
     "code_purge"
-    "code_serialize"
     "code_simtype"
     "code_type"
     "code_typename"
@@ -275,6 +274,7 @@
   '("ML"
     "ML_command"
     "cd"
+    "class_deps"
     "commit"
     "disable_pr"
     "display_drafts"
@@ -358,12 +358,10 @@
     "code_const"
     "code_constname"
     "code_gen"
-    "code_generate"
     "code_instance"
     "code_library"
     "code_module"
     "code_purge"
-    "code_serialize"
     "code_type"
     "code_typename"
     "coinductive"