1.1 --- a/etc/isar-keywords-ZF.el Fri Sep 10 15:48:43 2010 +0200
1.2 +++ b/etc/isar-keywords-ZF.el Fri Sep 10 15:55:09 2010 +0200
1.3 @@ -44,7 +44,6 @@
1.4 "code_module"
1.5 "coinductive"
1.6 "commit"
1.7 - "constdefs"
1.8 "consts"
1.9 "consts_code"
1.10 "context"
1.11 @@ -354,7 +353,6 @@
1.12 "code_library"
1.13 "code_module"
1.14 "coinductive"
1.15 - "constdefs"
1.16 "consts"
1.17 "consts_code"
1.18 "context"
2.1 --- a/etc/isar-keywords.el Fri Sep 10 15:48:43 2010 +0200
2.2 +++ b/etc/isar-keywords.el Fri Sep 10 15:55:09 2010 +0200
2.3 @@ -63,7 +63,6 @@
2.4 "coinductive"
2.5 "coinductive_set"
2.6 "commit"
2.7 - "constdefs"
2.8 "consts"
2.9 "consts_code"
2.10 "context"
2.11 @@ -449,7 +448,6 @@
2.12 "code_type"
2.13 "coinductive"
2.14 "coinductive_set"
2.15 - "constdefs"
2.16 "consts"
2.17 "consts_code"
2.18 "context"