1.1 --- a/etc/isar-keywords-ZF.el Fri Dec 07 17:40:06 2007 +0100
1.2 +++ b/etc/isar-keywords-ZF.el Fri Dec 07 22:19:45 2007 +0100
1.3 @@ -9,6 +9,7 @@
1.4 (defconst isar-keywords-major
1.5 '("\\."
1.6 "\\.\\."
1.7 + "Isabelle\\.command"
1.8 "ML"
1.9 "ML_command"
1.10 "ML_setup"
1.11 @@ -246,7 +247,8 @@
1.12 "where"))
1.13
1.14 (defconst isar-keywords-control
1.15 - '("ProofGeneral\\.inform_file_processed"
1.16 + '("Isabelle\\.command"
1.17 + "ProofGeneral\\.inform_file_processed"
1.18 "ProofGeneral\\.inform_file_retracted"
1.19 "ProofGeneral\\.kill_proof"
1.20 "ProofGeneral\\.process_pgip"