etc/isar-keywords.el
changeset 16771 2b534c5b5625
parent 16701 abd0abd66387
child 17091 13593aa6a546
--- a/etc/isar-keywords.el	Tue Jul 12 11:51:31 2005 +0200
+++ b/etc/isar-keywords.el	Tue Jul 12 11:54:55 2005 +0200
@@ -200,6 +200,7 @@
     "advanced"
     "and"
     "assumes"
+    "attach"
     "begin"
     "binder"
     "compose"