1.1 --- a/etc/isar-keywords-ZF.el Fri Oct 23 18:59:24 2009 +0200
1.2 +++ b/etc/isar-keywords-ZF.el Fri Oct 23 19:00:36 2009 +0200
1.3 @@ -9,12 +9,9 @@
1.4 "\\.\\."
1.5 "Isabelle\\.command"
1.6 "Isar\\.begin_document"
1.7 - "Isar\\.command"
1.8 "Isar\\.define_command"
1.9 "Isar\\.edit_document"
1.10 "Isar\\.end_document"
1.11 - "Isar\\.insert"
1.12 - "Isar\\.remove"
1.13 "ML"
1.14 "ML_command"
1.15 "ML_prf"
1.16 @@ -252,12 +249,9 @@
1.17 (defconst isar-keywords-control
1.18 '("Isabelle\\.command"
1.19 "Isar\\.begin_document"
1.20 - "Isar\\.command"
1.21 "Isar\\.define_command"
1.22 "Isar\\.edit_document"
1.23 "Isar\\.end_document"
1.24 - "Isar\\.insert"
1.25 - "Isar\\.remove"
1.26 "ProofGeneral\\.inform_file_processed"
1.27 "ProofGeneral\\.inform_file_retracted"
1.28 "ProofGeneral\\.kill_proof"