Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/isar-keywords-ZF.el
changeset 30527 fae488569faf
parent 30463 f1cb00030d4f
child 30745 2823a89c76a4 
--- a/etc/isar-keywords-ZF.el	Sun Mar 15 15:59:43 2009 +0100
+++ b/etc/isar-keywords-ZF.el	Sun Mar 15 15:59:44 2009 +0100
@@ -31,6 +31,7 @@
     "apply_end"
     "arities"
     "assume"
+    "attribute_setup"
     "axclass"
     "axiomatization"
     "axioms"
@@ -349,6 +350,7 @@
   '("ML"
     "abbreviation"
     "arities"
+    "attribute_setup"
     "axclass"
     "axiomatization"
     "axioms"
isabelle