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 15405 010ea63b7a67
parent 15141 a95c2ff210ba
child 15596 8665d08085df 
--- a/etc/isar-keywords.el	Mon Dec 13 15:06:59 2004 +0100
+++ b/etc/isar-keywords.el	Mon Dec 13 17:07:47 2004 +0100
@@ -62,6 +62,7 @@
     "extract_type"
     "finalconsts"
     "finally"
+    "find_rewrites"
     "fix"
     "from"
     "full_prf"
@@ -266,6 +267,7 @@
     "disable_pr"
     "display_drafts"
     "enable_pr"
+    "find_rewrites"
     "full_prf"
     "header"
     "kill_thy"
isabelle