etc/isar-keywords-ZF.el
changeset 38467 1b77e225fffc
parent 38219 521f10c13e61
child 38708 8915e3ce8655
     1.1 --- a/etc/isar-keywords-ZF.el	Tue Aug 17 17:01:46 2010 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Tue Aug 17 17:03:38 2010 +0200
     1.3 @@ -8,8 +8,6 @@
     1.4    '("\\."
     1.5      "\\.\\."
     1.6      "Isabelle\\.command"
     1.7 -    "Isar\\.define_command"
     1.8 -    "Isar\\.edit_document"
     1.9      "ML"
    1.10      "ML_command"
    1.11      "ML_prf"
    1.12 @@ -256,8 +254,6 @@
    1.13  
    1.14  (defconst isar-keywords-control
    1.15    '("Isabelle\\.command"
    1.16 -    "Isar\\.define_command"
    1.17 -    "Isar\\.edit_document"
    1.18      "ProofGeneral\\.inform_file_processed"
    1.19      "ProofGeneral\\.inform_file_retracted"
    1.20      "ProofGeneral\\.kill_proof"