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 15407 9e85d2b04867
parent 15141 a95c2ff210ba
child 15596 8665d08085df 
--- a/etc/isar-keywords-ZF.el	Mon Dec 13 17:44:52 2004 +0100
+++ b/etc/isar-keywords-ZF.el	Mon Dec 13 18:41:49 2004 +0100
@@ -59,6 +59,7 @@
     "extract_type"
     "finalconsts"
     "finally"
+    "find_rewrites"
     "fix"
     "from"
     "full_prf"
@@ -241,6 +242,7 @@
     "disable_pr"
     "display_drafts"
     "enable_pr"
+    "find_rewrites"
     "full_prf"
     "header"
     "kill_thy"
isabelle