etc/isar-keywords.el
changeset 18775 becdbf57eeb8
parent 18757 f0d901bc0686
child 18888 3b643f81b378
--- a/etc/isar-keywords.el	Tue Jan 24 15:16:06 2006 +0100
+++ b/etc/isar-keywords.el	Wed Jan 25 00:21:32 2006 +0100
@@ -67,6 +67,7 @@
     "defaultsort"
     "defer"
     "defer_recdef"
+    "definition"
     "defs"
     "disable_pr"
     "display_drafts"
@@ -389,6 +390,7 @@
     "datatype"
     "defaultsort"
     "defer_recdef"
+    "definition"
     "defs"
     "domain"
     "extract"