# HG changeset patch
# User wenzelm
# Date 1138144892 -3600
# Node ID becdbf57eeb8b5218890234f01b4b1ea9f85e796
# Parent  7cf74a743c32befb2dac12fd0ed105e10c89fcd7
updated;

diff -r 7cf74a743c32 -r becdbf57eeb8 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Tue Jan 24 15:16:06 2006 +0100
+++ b/etc/isar-keywords-ZF.el	Wed Jan 25 00:21:32 2006 +0100
@@ -63,6 +63,7 @@
     "def"
     "defaultsort"
     "defer"
+    "definition"
     "defs"
     "disable_pr"
     "display_drafts"
@@ -357,6 +358,7 @@
     "consts_code"
     "datatype"
     "defaultsort"
+    "definition"
     "defs"
     "extract"
     "extract_type"
diff -r 7cf74a743c32 -r becdbf57eeb8 etc/isar-keywords.el
--- 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"