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 generated file;
authorwenzelm
Sat, 19 Apr 2008 12:31:07 +0200
changeset 26725 4d9ca7a6b586
parent 26724 ff6ff3a9010e
child 26726 2826756b1d4f
updated generated file;
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Sat Apr 19 12:04:17 2008 +0200
+++ b/etc/isar-keywords.el	Sat Apr 19 12:31:07 2008 +0200
@@ -148,7 +148,6 @@
     "print_abbrevs"
     "print_antiquotations"
     "print_ast_translation"
-    "print_atp_rules"
     "print_attributes"
     "print_binds"
     "print_cases"
@@ -165,7 +164,6 @@
     "print_locale"
     "print_locales"
     "print_methods"
-    "print_noatp_rules"
     "print_orders"
     "print_rules"
     "print_simpset"
@@ -347,7 +345,6 @@
     "prf"
     "print_abbrevs"
     "print_antiquotations"
-    "print_atp_rules"
     "print_attributes"
     "print_binds"
     "print_cases"
@@ -364,7 +361,6 @@
     "print_locale"
     "print_locales"
     "print_methods"
-    "print_noatp_rules"
     "print_orders"
     "print_rules"
     "print_simpset"
isabelle