etc/isar-keywords-ZF.el
changeset 18519 b963eb11b3b4
parent 18380 9668764224a7
child 18520 428c79932b53
     1.1 --- a/etc/isar-keywords-ZF.el	Thu Dec 29 15:31:10 2005 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Thu Dec 29 15:31:27 2005 +0100
     1.3 @@ -33,6 +33,7 @@
     1.4      "case"
     1.5      "cd"
     1.6      "chapter"
     1.7 +    "class_class"
     1.8      "classes"
     1.9      "classrel"
    1.10      "clear_undos"
    1.11 @@ -42,6 +43,9 @@
    1.12      "code_generate"
    1.13      "code_library"
    1.14      "code_module"
    1.15 +    "code_primclass"
    1.16 +    "code_primconst"
    1.17 +    "code_primtyco"
    1.18      "code_serialize"
    1.19      "code_syntax_const"
    1.20      "code_syntax_tyco"
    1.21 @@ -204,7 +208,6 @@
    1.22      "constants"
    1.23      "constrains"
    1.24      "contains"
    1.25 -    "defined_by"
    1.26      "defines"
    1.27      "depending_on"
    1.28      "domains"
    1.29 @@ -329,6 +332,7 @@
    1.30      "arities"
    1.31      "axclass"
    1.32      "axioms"
    1.33 +    "class_class"
    1.34      "classes"
    1.35      "classrel"
    1.36      "codatatype"
    1.37 @@ -337,6 +341,9 @@
    1.38      "code_generate"
    1.39      "code_library"
    1.40      "code_module"
    1.41 +    "code_primclass"
    1.42 +    "code_primconst"
    1.43 +    "code_primtyco"
    1.44      "code_serialize"
    1.45      "code_syntax_const"
    1.46      "code_syntax_tyco"