# HG changeset patch # User haftmann # Date 1158672099 -7200 # Node ID 548fd4cd2eb3ac71e431bc6ac16c9375a4fc181b # Parent 3fe913d701778244dedc1f05421a2af5c7fda277 code_gen now peek keyword diff -r 3fe913d70177 -r 548fd4cd2eb3 etc/isar-keywords-HOL-Nominal.el --- a/etc/isar-keywords-HOL-Nominal.el Tue Sep 19 15:19:38 2006 +0200 +++ b/etc/isar-keywords-HOL-Nominal.el Tue Sep 19 15:21:39 2006 +0200 @@ -50,7 +50,6 @@ "code_instance" "code_library" "code_module" - "code_purge" "code_simtype" "code_type" "code_typename" @@ -134,6 +133,7 @@ "print_cases" "print_claset" "print_classes" + "print_codethms" "print_commands" "print_context" "print_drafts" @@ -290,6 +290,7 @@ "ProofGeneral\\.call_atp" "cd" "class_deps" + "code_gen" "commit" "disable_pr" "display_drafts" @@ -307,6 +308,7 @@ "print_cases" "print_claset" "print_classes" + "print_codethms" "print_commands" "print_context" "print_drafts" @@ -372,11 +374,9 @@ "code_class" "code_const" "code_constname" - "code_gen" "code_instance" "code_library" "code_module" - "code_purge" "code_type" "code_typename" "coinductive" diff -r 3fe913d70177 -r 548fd4cd2eb3 etc/isar-keywords-ZF.el --- a/etc/isar-keywords-ZF.el Tue Sep 19 15:19:38 2006 +0200 +++ b/etc/isar-keywords-ZF.el Tue Sep 19 15:21:39 2006 +0200 @@ -48,7 +48,6 @@ "code_instance" "code_library" "code_module" - "code_purge" "code_simtype" "code_type" "code_typename" @@ -128,6 +127,7 @@ "print_cases" "print_claset" "print_classes" + "print_codethms" "print_commands" "print_context" "print_drafts" @@ -275,6 +275,7 @@ "ML_command" "cd" "class_deps" + "code_gen" "commit" "disable_pr" "display_drafts" @@ -292,6 +293,7 @@ "print_cases" "print_claset" "print_classes" + "print_codethms" "print_commands" "print_context" "print_drafts" @@ -357,11 +359,9 @@ "code_class" "code_const" "code_constname" - "code_gen" "code_instance" "code_library" "code_module" - "code_purge" "code_type" "code_typename" "coinductive" diff -r 3fe913d70177 -r 548fd4cd2eb3 etc/isar-keywords.el --- a/etc/isar-keywords.el Tue Sep 19 15:19:38 2006 +0200 +++ b/etc/isar-keywords.el Tue Sep 19 15:21:39 2006 +0200 @@ -50,7 +50,6 @@ "code_instance" "code_library" "code_module" - "code_purge" "code_simtype" "code_type" "code_typename" @@ -138,6 +137,7 @@ "print_cases" "print_claset" "print_classes" + "print_codethms" "print_commands" "print_context" "print_drafts" @@ -311,6 +311,7 @@ "ProofGeneral\\.call_atp" "cd" "class_deps" + "code_gen" "commit" "disable_pr" "display_drafts" @@ -328,6 +329,7 @@ "print_cases" "print_claset" "print_classes" + "print_codethms" "print_commands" "print_context" "print_drafts" @@ -393,11 +395,9 @@ "code_class" "code_const" "code_constname" - "code_gen" "code_instance" "code_library" "code_module" - "code_purge" "code_type" "code_typename" "coinductive"