etc/isar-keywords-ZF.el
changeset 15762 13d1ec61bc89
parent 15624 484178635bd8
child 16034 6ccd552ee366
     1.1 --- a/etc/isar-keywords-ZF.el	Sun Apr 17 19:40:34 2005 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Sun Apr 17 19:40:43 2005 +0200
     1.3 @@ -16,6 +16,7 @@
     1.4      "ProofGeneral\\.inform_file_retracted"
     1.5      "ProofGeneral\\.kill_proof"
     1.6      "ProofGeneral\\.process_pgip"
     1.7 +    "ProofGeneral\\.redo"
     1.8      "ProofGeneral\\.restart"
     1.9      "ProofGeneral\\.try_context_thy_only"
    1.10      "ProofGeneral\\.undo"
    1.11 @@ -87,6 +88,7 @@
    1.12      "method_setup"
    1.13      "moreover"
    1.14      "next"
    1.15 +    "no_syntax"
    1.16      "nonterminals"
    1.17      "note"
    1.18      "obtain"
    1.19 @@ -224,6 +226,7 @@
    1.20      "ProofGeneral\\.inform_file_retracted"
    1.21      "ProofGeneral\\.kill_proof"
    1.22      "ProofGeneral\\.process_pgip"
    1.23 +    "ProofGeneral\\.redo"
    1.24      "ProofGeneral\\.restart"
    1.25      "ProofGeneral\\.try_context_thy_only"
    1.26      "ProofGeneral\\.undo"
    1.27 @@ -335,6 +338,7 @@
    1.28      "local"
    1.29      "locale"
    1.30      "method_setup"
    1.31 +    "no_syntax"
    1.32      "nonterminals"
    1.33      "oracle"
    1.34      "parse_ast_translation"