diff -r c22436e6d350 -r 8b8d86cc2437 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Thu Apr 02 15:07:00 2009 +0200
+++ b/etc/isar-keywords.el	Thu Apr 02 15:08:38 2009 +0200
@@ -291,7 +291,6 @@
     "notes"
     "obtains"
     "open"
-    "otherwise"
     "output"
     "outputs"
     "overloaded"