1.1 --- a/etc/isar-keywords-ZF.el Tue Nov 22 10:09:11 2005 +0100
1.2 +++ b/etc/isar-keywords-ZF.el Tue Nov 22 12:42:59 2005 +0100
1.3 @@ -37,8 +37,12 @@
1.4 "classrel"
1.5 "clear_undos"
1.6 "codatatype"
1.7 + "code_generate"
1.8 "code_library"
1.9 "code_module"
1.10 + "code_syntax_const"
1.11 + "code_syntax_tyco"
1.12 + "codegen_class"
1.13 "coinductive"
1.14 "commit"
1.15 "constdefs"
1.16 @@ -51,6 +55,7 @@
1.17 "def"
1.18 "defaultsort"
1.19 "defer"
1.20 + "defined_by"
1.21 "defs"
1.22 "disable_pr"
1.23 "display_drafts"
1.24 @@ -193,13 +198,16 @@
1.25 "begin"
1.26 "binder"
1.27 "case_eqns"
1.28 + "code_alias"
1.29 "con_defs"
1.30 "concl"
1.31 "constrains"
1.32 "contains"
1.33 "defines"
1.34 + "depending_on"
1.35 "domains"
1.36 "elimination"
1.37 + "extracting"
1.38 "file"
1.39 "files"
1.40 "fixes"
1.41 @@ -323,14 +331,19 @@
1.42 "classes"
1.43 "classrel"
1.44 "codatatype"
1.45 + "code_generate"
1.46 "code_library"
1.47 "code_module"
1.48 + "code_syntax_const"
1.49 + "code_syntax_tyco"
1.50 + "codegen_class"
1.51 "coinductive"
1.52 "constdefs"
1.53 "consts"
1.54 "consts_code"
1.55 "datatype"
1.56 "defaultsort"
1.57 + "defined_by"
1.58 "defs"
1.59 "extract"
1.60 "extract_type"
2.1 --- a/etc/isar-keywords.el Tue Nov 22 10:09:11 2005 +0100
2.2 +++ b/etc/isar-keywords.el Tue Nov 22 12:42:59 2005 +0100
2.3 @@ -39,8 +39,11 @@
2.4 "classes"
2.5 "classrel"
2.6 "clear_undos"
2.7 + "code_generate"
2.8 "code_library"
2.9 "code_module"
2.10 + "code_syntax_const"
2.11 + "code_syntax_tyco"
2.12 "codegen_class"
2.13 "coinductive"
2.14 "commit"
2.15 @@ -56,6 +59,7 @@
2.16 "defaultsort"
2.17 "defer"
2.18 "defer_recdef"
2.19 + "defined_by"
2.20 "defs"
2.21 "disable_pr"
2.22 "display_drafts"
2.23 @@ -208,13 +212,16 @@
2.24 "attach"
2.25 "begin"
2.26 "binder"
2.27 + "code_alias"
2.28 "compose"
2.29 "concl"
2.30 "congs"
2.31 "constrains"
2.32 "contains"
2.33 "defines"
2.34 + "depending_on"
2.35 "distinct"
2.36 + "extracting"
2.37 "file"
2.38 "files"
2.39 "fixes"
2.40 @@ -355,8 +362,11 @@
2.41 "axioms"
2.42 "classes"
2.43 "classrel"
2.44 + "code_generate"
2.45 "code_library"
2.46 "code_module"
2.47 + "code_syntax_const"
2.48 + "code_syntax_tyco"
2.49 "codegen_class"
2.50 "coinductive"
2.51 "constdefs"
2.52 @@ -365,6 +375,7 @@
2.53 "datatype"
2.54 "defaultsort"
2.55 "defer_recdef"
2.56 + "defined_by"
2.57 "defs"
2.58 "domain"
2.59 "extract"