updated;
authorwenzelm
Sun Apr 17 19:40:43 2005 +0200 (2005-04-17)
changeset 1576213d1ec61bc89
parent 15761 c9561302c74a
child 15763 b901a127ac73
updated;
etc/isar-keywords-ZF.el
etc/isar-keywords.el
     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"
     2.1 --- a/etc/isar-keywords.el	Sun Apr 17 19:40:34 2005 +0200
     2.2 +++ b/etc/isar-keywords.el	Sun Apr 17 19:40:43 2005 +0200
     2.3 @@ -7,6 +7,7 @@
     2.4  
     2.5  (defconst isar-keywords-major
     2.6    '("\\."
     2.7 +    "\\.\\."
     2.8      "ML"
     2.9      "ML_command"
    2.10      "ML_setup"
    2.11 @@ -15,10 +16,10 @@
    2.12      "ProofGeneral\\.inform_file_retracted"
    2.13      "ProofGeneral\\.kill_proof"
    2.14      "ProofGeneral\\.process_pgip"
    2.15 +    "ProofGeneral\\.redo"
    2.16      "ProofGeneral\\.restart"
    2.17      "ProofGeneral\\.try_context_thy_only"
    2.18      "ProofGeneral\\.undo"
    2.19 -    "\\.\\."
    2.20      "also"
    2.21      "apply"
    2.22      "apply_end"
    2.23 @@ -250,6 +251,7 @@
    2.24      "ProofGeneral\\.inform_file_retracted"
    2.25      "ProofGeneral\\.kill_proof"
    2.26      "ProofGeneral\\.process_pgip"
    2.27 +    "ProofGeneral\\.redo"
    2.28      "ProofGeneral\\.restart"
    2.29      "ProofGeneral\\.try_context_thy_only"
    2.30      "ProofGeneral\\.undo"