1.1 --- a/etc/isar-keywords.el Fri Dec 02 13:10:12 2005 +0100
1.2 +++ b/etc/isar-keywords.el Fri Dec 02 16:04:29 2005 +0100
1.3 @@ -39,13 +39,14 @@
1.4 "classes"
1.5 "classrel"
1.6 "clear_undos"
1.7 + "code_alias"
1.8 + "code_class"
1.9 "code_generate"
1.10 "code_library"
1.11 "code_module"
1.12 "code_serialize"
1.13 "code_syntax_const"
1.14 "code_syntax_tyco"
1.15 - "codegen_class"
1.16 "coinductive"
1.17 "commit"
1.18 "constdefs"
1.19 @@ -60,7 +61,6 @@
1.20 "defaultsort"
1.21 "defer"
1.22 "defer_recdef"
1.23 - "defined_by"
1.24 "defs"
1.25 "disable_pr"
1.26 "display_drafts"
1.27 @@ -213,12 +213,12 @@
1.28 "attach"
1.29 "begin"
1.30 "binder"
1.31 - "code_alias"
1.32 "compose"
1.33 "concl"
1.34 "congs"
1.35 "constrains"
1.36 "contains"
1.37 + "defined_by"
1.38 "defines"
1.39 "depending_on"
1.40 "distinct"
1.41 @@ -363,13 +363,14 @@
1.42 "axioms"
1.43 "classes"
1.44 "classrel"
1.45 + "code_alias"
1.46 + "code_class"
1.47 "code_generate"
1.48 "code_library"
1.49 "code_module"
1.50 "code_serialize"
1.51 "code_syntax_const"
1.52 "code_syntax_tyco"
1.53 - "codegen_class"
1.54 "coinductive"
1.55 "constdefs"
1.56 "consts"
1.57 @@ -377,7 +378,6 @@
1.58 "datatype"
1.59 "defaultsort"
1.60 "defer_recdef"
1.61 - "defined_by"
1.62 "defs"
1.63 "domain"
1.64 "extract"