--- a/etc/isar-keywords-ZF.el Fri Aug 06 14:35:04 2010 +0200
+++ b/etc/isar-keywords-ZF.el Fri Aug 06 14:37:04 2010 +0200
@@ -8,10 +8,8 @@
'("\\."
"\\.\\."
"Isabelle\\.command"
- "Isar\\.begin_document"
"Isar\\.define_command"
"Isar\\.edit_document"
- "Isar\\.end_document"
"ML"
"ML_command"
"ML_prf"
@@ -258,10 +256,8 @@
(defconst isar-keywords-control
'("Isabelle\\.command"
- "Isar\\.begin_document"
"Isar\\.define_command"
"Isar\\.edit_document"
- "Isar\\.end_document"
"ProofGeneral\\.inform_file_processed"
"ProofGeneral\\.inform_file_retracted"
"ProofGeneral\\.kill_proof"
--- a/etc/isar-keywords.el Fri Aug 06 14:35:04 2010 +0200
+++ b/etc/isar-keywords.el Fri Aug 06 14:37:04 2010 +0200
@@ -8,10 +8,8 @@
'("\\."
"\\.\\."
"Isabelle\\.command"
- "Isar\\.begin_document"
"Isar\\.define_command"
"Isar\\.edit_document"
- "Isar\\.end_document"
"ML"
"ML_command"
"ML_prf"
@@ -322,10 +320,8 @@
(defconst isar-keywords-control
'("Isabelle\\.command"
- "Isar\\.begin_document"
"Isar\\.define_command"
"Isar\\.edit_document"
- "Isar\\.end_document"
"ProofGeneral\\.inform_file_processed"
"ProofGeneral\\.inform_file_retracted"
"ProofGeneral\\.kill_proof"