etc/isar-keywords.el
changeset 20338 ecdfc96cf4d0
parent 19891 2857fac35e6d
child 20358 ccad73da6f61
     1.1 --- a/etc/isar-keywords.el	Fri Aug 04 12:01:31 2006 +0200
     1.2 +++ b/etc/isar-keywords.el	Fri Aug 04 18:01:45 2006 +0200
     1.3 @@ -259,6 +259,7 @@
     1.4      "notes"
     1.5      "obtains"
     1.6      "open"
     1.7 +    "otherwise"
     1.8      "output"
     1.9      "outputs"
    1.10      "overloaded"
    1.11 @@ -267,6 +268,7 @@
    1.12      "pre"
    1.13      "rename"
    1.14      "restrict"
    1.15 +    "sequential"
    1.16      "shows"
    1.17      "signature"
    1.18      "states"