changeset 38467 | 1b77e225fffc |
parent 38219 | 521f10c13e61 |
child 38708 | 8915e3ce8655 |
--- a/etc/isar-keywords.el Tue Aug 17 17:01:46 2010 +0200 +++ b/etc/isar-keywords.el Tue Aug 17 17:03:38 2010 +0200 @@ -8,8 +8,6 @@ '("\\." "\\.\\." "Isabelle\\.command" - "Isar\\.define_command" - "Isar\\.edit_document" "ML" "ML_command" "ML_prf" @@ -320,8 +318,6 @@ (defconst isar-keywords-control '("Isabelle\\.command" - "Isar\\.define_command" - "Isar\\.edit_document" "ProofGeneral\\.inform_file_processed" "ProofGeneral\\.inform_file_retracted" "ProofGeneral\\.kill_proof"