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 18:41:49 +0100
changeset 15407 9e85d2b04867
parent 15406 75a2ca90693e
child 15408 6001135caa91
added find_rewrites
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions 
--- 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