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 18775 becdbf57eeb8
parent 18757 f0d901bc0686
child 18888 3b643f81b378 
--- a/etc/isar-keywords-ZF.el	Tue Jan 24 15:16:06 2006 +0100
+++ b/etc/isar-keywords-ZF.el	Wed Jan 25 00:21:32 2006 +0100
@@ -63,6 +63,7 @@
     "def"
     "defaultsort"
     "defer"
+    "definition"
     "defs"
     "disable_pr"
     "display_drafts"
@@ -357,6 +358,7 @@
     "consts_code"
     "datatype"
     "defaultsort"
+    "definition"
     "defs"
     "extract"
     "extract_type"
isabelle