updated;
authorwenzelm
Sun Jun 13 15:31:21 2004 +0200 (2004-06-13)
changeset 1493737b06d27683d
parent 14936 a13d5118f628
child 14938 393b75c92c07
updated;
etc/isar-keywords-ZF.el
     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"