etc/isar-keywords.el
changeset 20358 ccad73da6f61
parent 20338 ecdfc96cf4d0
child 20378 63a0aafc89ba
--- a/etc/isar-keywords.el	Tue Aug 08 08:20:24 2006 +0200
+++ b/etc/isar-keywords.el	Tue Aug 08 08:47:36 2006 +0200
@@ -45,6 +45,7 @@
     "code_alias"
     "code_classapp"
     "code_constapp"
+    "code_constname"
     "code_generate"
     "code_library"
     "code_module"
@@ -387,6 +388,7 @@
     "code_alias"
     "code_classapp"
     "code_constapp"
+    "code_constname"
     "code_generate"
     "code_library"
     "code_module"