1.1 --- a/etc/isar-keywords-ZF.el Sun Jun 13 15:31:11 2004 +0200
1.2 +++ b/etc/isar-keywords-ZF.el Sun Jun 13 15:31:21 2004 +0200
1.3 @@ -15,6 +15,7 @@
1.4 "ProofGeneral\\.inform_file_processed"
1.5 "ProofGeneral\\.inform_file_retracted"
1.6 "ProofGeneral\\.kill_proof"
1.7 + "ProofGeneral\\.process_pgip"
1.8 "ProofGeneral\\.restart"
1.9 "ProofGeneral\\.try_context_thy_only"
1.10 "ProofGeneral\\.undo"
1.11 @@ -49,6 +50,7 @@
1.12 "defer"
1.13 "defs"
1.14 "disable_pr"
1.15 + "display_drafts"
1.16 "done"
1.17 "enable_pr"
1.18 "end"
1.19 @@ -103,6 +105,7 @@
1.20 "print_claset"
1.21 "print_commands"
1.22 "print_context"
1.23 + "print_drafts"
1.24 "print_facts"
1.25 "print_induct_rules"
1.26 "print_intros"
1.27 @@ -214,6 +217,7 @@
1.28 "ProofGeneral\\.inform_file_processed"
1.29 "ProofGeneral\\.inform_file_retracted"
1.30 "ProofGeneral\\.kill_proof"
1.31 + "ProofGeneral\\.process_pgip"
1.32 "ProofGeneral\\.restart"
1.33 "ProofGeneral\\.try_context_thy_only"
1.34 "ProofGeneral\\.undo"
1.35 @@ -233,6 +237,7 @@
1.36 "cd"
1.37 "commit"
1.38 "disable_pr"
1.39 + "display_drafts"
1.40 "enable_pr"
1.41 "full_prf"
1.42 "header"
1.43 @@ -247,6 +252,7 @@
1.44 "print_claset"
1.45 "print_commands"
1.46 "print_context"
1.47 + "print_drafts"
1.48 "print_facts"
1.49 "print_induct_rules"
1.50 "print_intros"