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 22084 2fef69700f50
parent 22066 78b151461b89
child 22200 d4797b506752 
--- a/etc/isar-keywords-ZF.el	Thu Jan 18 11:16:49 2007 +0100
+++ b/etc/isar-keywords-ZF.el	Fri Jan 19 13:09:31 2007 +0100
@@ -58,6 +58,7 @@
     "context"
     "corollary"
     "datatype"
+    "declaration"
     "declare"
     "def"
     "defaultsort"
@@ -373,6 +374,7 @@
     "consts_code"
     "context"
     "datatype"
+    "declaration"
     "defaultsort"
     "definition"
     "defs"
isabelle