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 47066 8a6124d09ff5
parent 47057 12423b36fcc4
child 47069 451fc10a81f3 
--- a/etc/isar-keywords-ZF.el	Wed Mar 21 17:16:39 2012 +0100
+++ b/etc/isar-keywords-ZF.el	Wed Mar 21 17:25:35 2012 +0100
@@ -45,6 +45,7 @@
     "commit"
     "consts"
     "context"
+    "context_includes"
     "corollary"
     "datatype"
     "declaration"
@@ -356,6 +357,7 @@
     "coinductive"
     "consts"
     "context"
+    "context_includes"
     "datatype"
     "declaration"
     "declare"
isabelle