Added "attach" keyword for code generator setup.
authorberghofe
Tue Jul 12 11:54:55 2005 +0200 (2005-07-12)
changeset 167712b534c5b5625
parent 16770 1f1b1fae30e4
child 16772 fe9dfbc2fa3f
Added "attach" keyword for code generator setup.
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords.el	Tue Jul 12 11:51:31 2005 +0200
     1.2 +++ b/etc/isar-keywords.el	Tue Jul 12 11:54:55 2005 +0200
     1.3 @@ -200,6 +200,7 @@
     1.4      "advanced"
     1.5      "and"
     1.6      "assumes"
     1.7 +    "attach"
     1.8      "begin"
     1.9      "binder"
    1.10      "compose"