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 46938 cda018294515
parent 45134 9b02f6665fc8
child 46974 7ca3608146d8 
--- a/etc/isar-keywords-ZF.el	Wed Mar 14 22:34:18 2012 +0100
+++ b/etc/isar-keywords-ZF.el	Thu Mar 15 00:10:45 2012 +0100
@@ -229,6 +229,7 @@
     "infixr"
     "intros"
     "is"
+    "keywords"
     "monos"
     "notes"
     "obtains"
isabelle