etc/isar-keywords.el
changeset 38219 521f10c13e61
parent 37987 aac4eb1fa1d8
child 38467 1b77e225fffc
     1.1 --- a/etc/isar-keywords.el	Fri Aug 06 14:35:04 2010 +0200
     1.2 +++ b/etc/isar-keywords.el	Fri Aug 06 14:37:04 2010 +0200
     1.3 @@ -8,10 +8,8 @@
     1.4    '("\\."
     1.5      "\\.\\."
     1.6      "Isabelle\\.command"
     1.7 -    "Isar\\.begin_document"
     1.8      "Isar\\.define_command"
     1.9      "Isar\\.edit_document"
    1.10 -    "Isar\\.end_document"
    1.11      "ML"
    1.12      "ML_command"
    1.13      "ML_prf"
    1.14 @@ -322,10 +320,8 @@
    1.15  
    1.16  (defconst isar-keywords-control
    1.17    '("Isabelle\\.command"
    1.18 -    "Isar\\.begin_document"
    1.19      "Isar\\.define_command"
    1.20      "Isar\\.edit_document"
    1.21 -    "Isar\\.end_document"
    1.22      "ProofGeneral\\.inform_file_processed"
    1.23      "ProofGeneral\\.inform_file_retracted"
    1.24      "ProofGeneral\\.kill_proof"