1.1 --- a/etc/isar-keywords-ZF.el Sat May 13 02:51:45 2006 +0200
1.2 +++ b/etc/isar-keywords-ZF.el Sat May 13 02:51:46 2006 +0200
1.3 @@ -47,6 +47,7 @@
1.4 "code_primclass"
1.5 "code_primconst"
1.6 "code_primtyco"
1.7 + "code_purge"
1.8 "code_serialize"
1.9 "code_syntax_const"
1.10 "code_syntax_tyco"
1.11 @@ -239,6 +240,7 @@
1.12 "target_atom"
1.13 "type_elims"
1.14 "type_intros"
1.15 + "unchecked"
1.16 "uses"
1.17 "where"))
1.18
1.19 @@ -351,6 +353,7 @@
1.20 "code_primclass"
1.21 "code_primconst"
1.22 "code_primtyco"
1.23 + "code_purge"
1.24 "code_serialize"
1.25 "code_syntax_const"
1.26 "code_syntax_tyco"