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.el
changeset 46938 cda018294515
parent 46641 8801a24f9e9a
child 46951 4e032ac36134 
--- a/etc/isar-keywords.el	Wed Mar 14 22:34:18 2012 +0100
+++ b/etc/isar-keywords.el	Thu Mar 15 00:10:45 2012 +0100
@@ -305,6 +305,7 @@
     "infixl"
     "infixr"
     "is"
+    "keywords"
     "lazy"
     "module_name"
     "monos"
isabelle