--- a/etc/isar-keywords.el Fri Aug 04 12:01:31 2006 +0200
+++ b/etc/isar-keywords.el Fri Aug 04 18:01:45 2006 +0200
@@ -259,6 +259,7 @@
"notes"
"obtains"
"open"
+ "otherwise"
"output"
"outputs"
"overloaded"
@@ -267,6 +268,7 @@
"pre"
"rename"
"restrict"
+ "sequential"
"shows"
"signature"
"states"