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 30463 f1cb00030d4f
parent 29882 29154e67731d
child 30527 fae488569faf 
--- a/etc/isar-keywords-ZF.el	Thu Mar 12 00:02:03 2009 +0100
+++ b/etc/isar-keywords-ZF.el	Thu Mar 12 00:02:30 2009 +0100
@@ -100,6 +100,7 @@
     "let"
     "linear_undo"
     "local"
+    "local_setup"
     "locale"
     "method_setup"
     "moreover"
@@ -379,6 +380,7 @@
     "judgment"
     "lemmas"
     "local"
+    "local_setup"
     "locale"
     "method_setup"
     "no_notation"
isabelle