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.
updated;
authorwenzelm
Sun, 22 May 2005 18:59:05 +0200
changeset 16034 6ccd552ee366
parent 16033 f93ca3d4ffa7
child 16035 31bd65f7b22a
updated;
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- 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"
--- a/etc/isar-keywords.el	Sun May 22 16:54:09 2005 +0200
+++ b/etc/isar-keywords.el	Sun May 22 18:59:05 2005 +0200
@@ -63,7 +63,6 @@
     "extract_type"
     "finalconsts"
     "finally"
-    "find_rewrites"
     "fix"
     "from"
     "full_prf"
@@ -117,7 +116,6 @@
     "print_facts"
     "print_induct_rules"
     "print_interps"
-    "print_intros"
     "print_locale"
     "print_locales"
     "print_methods"
@@ -273,7 +271,6 @@
     "disable_pr"
     "display_drafts"
     "enable_pr"
-    "find_rewrites"
     "full_prf"
     "header"
     "kill_thy"
@@ -291,7 +288,6 @@
     "print_facts"
     "print_induct_rules"
     "print_interps"
-    "print_intros"
     "print_locale"
     "print_locales"
     "print_methods"
isabelle