Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added find_rewrites
authornipkow
Mon, 13 Dec 2004 17:07:47 +0100
changeset 15405 010ea63b7a67
parent 15404 a9a762f586b5
child 15406 75a2ca90693e
added find_rewrites
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- 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