# HG changeset patch
# User berghofe
# Date 1121162095 -7200
# Node ID 2b534c5b5625e4fc87de3af72fcf7489eeb2df6b
# Parent  1f1b1fae30e41a20f07d79257994135cf892a537
Added "attach" keyword for code generator setup.

diff -r 1f1b1fae30e4 -r 2b534c5b5625 etc/isar-keywords.el
--- 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"