etc/isar-keywords.el
changeset 15762 13d1ec61bc89
parent 15703 727ef1b8b3ee
child 16034 6ccd552ee366
     1.1 --- a/etc/isar-keywords.el	Sun Apr 17 19:40:34 2005 +0200
     1.2 +++ b/etc/isar-keywords.el	Sun Apr 17 19:40:43 2005 +0200
     1.3 @@ -7,6 +7,7 @@
     1.4  
     1.5  (defconst isar-keywords-major
     1.6    '("\\."
     1.7 +    "\\.\\."
     1.8      "ML"
     1.9      "ML_command"
    1.10      "ML_setup"
    1.11 @@ -15,10 +16,10 @@
    1.12      "ProofGeneral\\.inform_file_retracted"
    1.13      "ProofGeneral\\.kill_proof"
    1.14      "ProofGeneral\\.process_pgip"
    1.15 +    "ProofGeneral\\.redo"
    1.16      "ProofGeneral\\.restart"
    1.17      "ProofGeneral\\.try_context_thy_only"
    1.18      "ProofGeneral\\.undo"
    1.19 -    "\\.\\."
    1.20      "also"
    1.21      "apply"
    1.22      "apply_end"
    1.23 @@ -250,6 +251,7 @@
    1.24      "ProofGeneral\\.inform_file_retracted"
    1.25      "ProofGeneral\\.kill_proof"
    1.26      "ProofGeneral\\.process_pgip"
    1.27 +    "ProofGeneral\\.redo"
    1.28      "ProofGeneral\\.restart"
    1.29      "ProofGeneral\\.try_context_thy_only"
    1.30      "ProofGeneral\\.undo"