diff -r 21e04f0edd82 -r a6fad1e8bbd2 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Sat May 13 02:51:45 2006 +0200
+++ b/etc/isar-keywords-ZF.el	Sat May 13 02:51:46 2006 +0200
@@ -47,6 +47,7 @@
     "code_primclass"
     "code_primconst"
     "code_primtyco"
+    "code_purge"
     "code_serialize"
     "code_syntax_const"
     "code_syntax_tyco"
@@ -239,6 +240,7 @@
     "target_atom"
     "type_elims"
     "type_intros"
+    "unchecked"
     "uses"
     "where"))
 
@@ -351,6 +353,7 @@
     "code_primclass"
     "code_primconst"
     "code_primtyco"
+    "code_purge"
     "code_serialize"
     "code_syntax_const"
     "code_syntax_tyco"