# HG changeset patch
# User wenzelm
# Date 1288991037 -3600
# Node ID bdce9a9ec0cd7ba3dce1bff98d67f91f1b168d9f
# Parent  b70ef70733e8a631cc709f18c6b71f6c214076c0
updated keywords;

diff -r b70ef70733e8 -r bdce9a9ec0cd etc/isar-keywords.el
--- a/etc/isar-keywords.el	Fri Nov 05 22:01:01 2010 +0100
+++ b/etc/isar-keywords.el	Fri Nov 05 22:03:57 2010 +0100
@@ -129,7 +129,6 @@
     "locale"
     "method_setup"
     "moreover"
-    "new_domain"
     "next"
     "nitpick"
     "nitpick_params"
@@ -311,6 +310,7 @@
     "shows"
     "structure"
     "unchecked"
+    "unsafe"
     "uses"
     "where"))
 
@@ -478,7 +478,6 @@
     "local_setup"
     "locale"
     "method_setup"
-    "new_domain"
     "nitpick_params"
     "no_notation"
     "no_syntax"