updated;
authorwenzelm
Wed Jan 25 00:21:32 2006 +0100 (2006-01-25)
changeset 18775becdbf57eeb8
parent 18774 7cf74a743c32
child 18776 fdc5379fd359
updated;
etc/isar-keywords-ZF.el
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords-ZF.el	Tue Jan 24 15:16:06 2006 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Wed Jan 25 00:21:32 2006 +0100
     1.3 @@ -63,6 +63,7 @@
     1.4      "def"
     1.5      "defaultsort"
     1.6      "defer"
     1.7 +    "definition"
     1.8      "defs"
     1.9      "disable_pr"
    1.10      "display_drafts"
    1.11 @@ -357,6 +358,7 @@
    1.12      "consts_code"
    1.13      "datatype"
    1.14      "defaultsort"
    1.15 +    "definition"
    1.16      "defs"
    1.17      "extract"
    1.18      "extract_type"
     2.1 --- a/etc/isar-keywords.el	Tue Jan 24 15:16:06 2006 +0100
     2.2 +++ b/etc/isar-keywords.el	Wed Jan 25 00:21:32 2006 +0100
     2.3 @@ -67,6 +67,7 @@
     2.4      "defaultsort"
     2.5      "defer"
     2.6      "defer_recdef"
     2.7 +    "definition"
     2.8      "defs"
     2.9      "disable_pr"
    2.10      "display_drafts"
    2.11 @@ -389,6 +390,7 @@
    2.12      "datatype"
    2.13      "defaultsort"
    2.14      "defer_recdef"
    2.15 +    "definition"
    2.16      "defs"
    2.17      "domain"
    2.18      "extract"