etc/isar-keywords.el
changeset 16771 2b534c5b5625
parent 16701 abd0abd66387
child 17091 13593aa6a546
     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"