updated keywords;
authorwenzelm
Sat Nov 21 20:41:29 2009 +0100 (2009-11-21)
changeset 33840f00a8956d6d0
parent 33839 beae0c7a748d
child 33841 6508d0e8bb19
updated keywords;
etc/isar-keywords.el
     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"