# HG changeset patch # User wenzelm # Date 1185984343 -7200 # Node ID 2ce3945228d86aaf3af65062c34fe971df8942f4 # Parent 06965b38c5e9bb7382e5528160388f154a9d142a updated; diff -r 06965b38c5e9 -r 2ce3945228d8 etc/isar-keywords-HOL-Nominal.el --- a/etc/isar-keywords-HOL-Nominal.el Wed Aug 01 17:03:28 2007 +0200 +++ b/etc/isar-keywords-HOL-Nominal.el Wed Aug 01 18:05:43 2007 +0200 @@ -137,6 +137,7 @@ "print_abbrevs" "print_antiquotations" "print_ast_translation" + "print_atp_rules" "print_attributes" "print_binds" "print_cases" @@ -144,6 +145,7 @@ "print_classes" "print_codesetup" "print_commands" + "print_configs" "print_context" "print_drafts" "print_facts" @@ -316,6 +318,7 @@ "prf" "print_abbrevs" "print_antiquotations" + "print_atp_rules" "print_attributes" "print_binds" "print_cases" @@ -323,6 +326,7 @@ "print_classes" "print_codesetup" "print_commands" + "print_configs" "print_context" "print_drafts" "print_facts" diff -r 06965b38c5e9 -r 2ce3945228d8 etc/isar-keywords.el --- a/etc/isar-keywords.el Wed Aug 01 17:03:28 2007 +0200 +++ b/etc/isar-keywords.el Wed Aug 01 18:05:43 2007 +0200 @@ -138,6 +138,7 @@ "print_abbrevs" "print_antiquotations" "print_ast_translation" + "print_atp_rules" "print_attributes" "print_binds" "print_cases" @@ -145,6 +146,7 @@ "print_classes" "print_codesetup" "print_commands" + "print_configs" "print_context" "print_drafts" "print_facts" @@ -153,7 +155,6 @@ "print_locale" "print_locales" "print_methods" - "print_options" "print_rules" "print_simpset" "print_statement" @@ -331,6 +332,7 @@ "prf" "print_abbrevs" "print_antiquotations" + "print_atp_rules" "print_attributes" "print_binds" "print_cases" @@ -338,6 +340,7 @@ "print_classes" "print_codesetup" "print_commands" + "print_configs" "print_context" "print_drafts" "print_facts" @@ -346,7 +349,6 @@ "print_locale" "print_locales" "print_methods" - "print_options" "print_rules" "print_simpset" "print_statement"