--- a/etc/isar-keywords-ZF.el Fri Oct 23 18:59:24 2009 +0200
+++ b/etc/isar-keywords-ZF.el Fri Oct 23 19:00:36 2009 +0200
@@ -9,12 +9,9 @@
"\\.\\."
"Isabelle\\.command"
"Isar\\.begin_document"
- "Isar\\.command"
"Isar\\.define_command"
"Isar\\.edit_document"
"Isar\\.end_document"
- "Isar\\.insert"
- "Isar\\.remove"
"ML"
"ML_command"
"ML_prf"
@@ -252,12 +249,9 @@
(defconst isar-keywords-control
'("Isabelle\\.command"
"Isar\\.begin_document"
- "Isar\\.command"
"Isar\\.define_command"
"Isar\\.edit_document"
"Isar\\.end_document"
- "Isar\\.insert"
- "Isar\\.remove"
"ProofGeneral\\.inform_file_processed"
"ProofGeneral\\.inform_file_retracted"
"ProofGeneral\\.kill_proof"