changeset 27621 | d96bd54d7446 |
parent 27590 | 26415966c708 |
child 28261 | 045187fc7840 |
--- a/etc/isar-keywords-ZF.el Wed Jul 16 16:17:26 2008 +0200 +++ b/etc/isar-keywords-ZF.el Wed Jul 16 16:39:11 2008 +0200 @@ -10,6 +10,9 @@ '("\\." "\\.\\." "Isabelle\\.command" + "Isar\\.command" + "Isar\\.insert" + "Isar\\.remove" "ML" "ML_command" "ML_val" @@ -246,6 +249,9 @@ (defconst isar-keywords-control '("Isabelle\\.command" + "Isar\\.command" + "Isar\\.insert" + "Isar\\.remove" "ProofGeneral\\.inform_file_processed" "ProofGeneral\\.inform_file_retracted" "ProofGeneral\\.kill_proof"