updated keywords;
authorwenzelm
Fri Nov 05 22:03:57 2010 +0100 (2010-11-05)
changeset 40386bdce9a9ec0cd
parent 40385 b70ef70733e8
child 40387 e4c9e0dad473
updated keywords;
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords.el	Fri Nov 05 22:01:01 2010 +0100
     1.2 +++ b/etc/isar-keywords.el	Fri Nov 05 22:03:57 2010 +0100
     1.3 @@ -129,7 +129,6 @@
     1.4      "locale"
     1.5      "method_setup"
     1.6      "moreover"
     1.7 -    "new_domain"
     1.8      "next"
     1.9      "nitpick"
    1.10      "nitpick_params"
    1.11 @@ -311,6 +310,7 @@
    1.12      "shows"
    1.13      "structure"
    1.14      "unchecked"
    1.15 +    "unsafe"
    1.16      "uses"
    1.17      "where"))
    1.18  
    1.19 @@ -478,7 +478,6 @@
    1.20      "local_setup"
    1.21      "locale"
    1.22      "method_setup"
    1.23 -    "new_domain"
    1.24      "nitpick_params"
    1.25      "no_notation"
    1.26      "no_syntax"