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 16034 6ccd552ee366
parent 15762 13d1ec61bc89
child 16168 adb83939177f 
--- a/etc/isar-keywords-ZF.el	Sun May 22 16:54:09 2005 +0200
+++ b/etc/isar-keywords-ZF.el	Sun May 22 18:59:05 2005 +0200
@@ -60,7 +60,6 @@
     "extract_type"
     "finalconsts"
     "finally"
-    "find_rewrites"
     "fix"
     "from"
     "full_prf"
@@ -114,7 +113,6 @@
     "print_facts"
     "print_induct_rules"
     "print_interps"
-    "print_intros"
     "print_locale"
     "print_locales"
     "print_methods"
@@ -248,7 +246,6 @@
     "disable_pr"
     "display_drafts"
     "enable_pr"
-    "find_rewrites"
     "full_prf"
     "header"
     "kill_thy"
@@ -266,7 +263,6 @@
     "print_facts"
     "print_induct_rules"
     "print_interps"
-    "print_intros"
     "print_locale"
     "print_locales"
     "print_methods"
isabelle