1.1 --- a/etc/isar-keywords.el Sat Nov 21 18:33:55 2009 +0100
1.2 +++ b/etc/isar-keywords.el Sat Nov 21 20:41:29 2009 +0100
1.3 @@ -89,6 +89,7 @@
1.4 "disable_pr"
1.5 "display_drafts"
1.6 "domain"
1.7 + "domain_isomorphism"
1.8 "done"
1.9 "enable_pr"
1.10 "end"
1.11 @@ -135,6 +136,7 @@
1.12 "locale"
1.13 "method_setup"
1.14 "moreover"
1.15 + "new_domain"
1.16 "next"
1.17 "nitpick"
1.18 "nitpick_params"
1.19 @@ -470,6 +472,7 @@
1.20 "definition"
1.21 "defs"
1.22 "domain"
1.23 + "domain_isomorphism"
1.24 "equivariance"
1.25 "extract"
1.26 "extract_type"
1.27 @@ -488,6 +491,7 @@
1.28 "local_setup"
1.29 "locale"
1.30 "method_setup"
1.31 + "new_domain"
1.32 "nitpick_params"
1.33 "no_notation"
1.34 "no_syntax"
1.35 @@ -508,6 +512,7 @@
1.36 "recdef"
1.37 "record"
1.38 "refute_params"
1.39 + "repdef"
1.40 "setup"
1.41 "simproc_setup"
1.42 "statespace"
1.43 @@ -541,7 +546,6 @@
1.44 "pcpodef"
1.45 "recdef_tc"
1.46 "rep_datatype"
1.47 - "repdef"
1.48 "specification"
1.49 "subclass"
1.50 "sublocale"