etc/isar-keywords.el
changeset 20523 36a59e5d0039
parent 20453 855f07fabd76
child 20568 9b7f59c1bdfc
--- a/etc/isar-keywords.el	Wed Sep 13 00:38:38 2006 +0200
+++ b/etc/isar-keywords.el	Wed Sep 13 12:05:50 2006 +0200
@@ -46,12 +46,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"
@@ -89,6 +87,7 @@
     "fixrec"
     "from"
     "full_prf"
+    "fun"
     "function"
     "global"
     "guess"
@@ -393,12 +392,10 @@
     "code_const"
     "code_constname"
     "code_gen"
-    "code_generate"
     "code_instance"
     "code_library"
     "code_module"
     "code_purge"
-    "code_serialize"
     "code_type"
     "code_typename"
     "coinductive"
@@ -417,6 +414,7 @@
     "finalconsts"
     "fixpat"
     "fixrec"
+    "fun"
     "global"
     "hide"
     "inductive"