Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added "attach" keyword for code generator setup.
authorberghofe
Tue, 12 Jul 2005 11:54:55 +0200
changeset 16771 2b534c5b5625
parent 16770 1f1b1fae30e4
child 16772 fe9dfbc2fa3f
Added "attach" keyword for code generator setup.
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- 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"
isabelle