# HG changeset patch
# User wenzelm
# Date 1258832489 -3600
# Node ID f00a8956d6d0fcb83f5532142e8dd156606e43f9
# Parent  beae0c7a748dc774a02cd92001c4611dc798db14
updated keywords;

diff -r beae0c7a748d -r f00a8956d6d0 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Sat Nov 21 18:33:55 2009 +0100
+++ b/etc/isar-keywords.el	Sat Nov 21 20:41:29 2009 +0100
@@ -89,6 +89,7 @@
     "disable_pr"
     "display_drafts"
     "domain"
+    "domain_isomorphism"
     "done"
     "enable_pr"
     "end"
@@ -135,6 +136,7 @@
     "locale"
     "method_setup"
     "moreover"
+    "new_domain"
     "next"
     "nitpick"
     "nitpick_params"
@@ -470,6 +472,7 @@
     "definition"
     "defs"
     "domain"
+    "domain_isomorphism"
     "equivariance"
     "extract"
     "extract_type"
@@ -488,6 +491,7 @@
     "local_setup"
     "locale"
     "method_setup"
+    "new_domain"
     "nitpick_params"
     "no_notation"
     "no_syntax"
@@ -508,6 +512,7 @@
     "recdef"
     "record"
     "refute_params"
+    "repdef"
     "setup"
     "simproc_setup"
     "statespace"
@@ -541,7 +546,6 @@
     "pcpodef"
     "recdef_tc"
     "rep_datatype"
-    "repdef"
     "specification"
     "subclass"
     "sublocale"