--- a/etc/isar-keywords-ZF.el Fri Dec 07 17:40:06 2007 +0100
+++ b/etc/isar-keywords-ZF.el Fri Dec 07 22:19:45 2007 +0100
@@ -9,6 +9,7 @@
(defconst isar-keywords-major
'("\\."
"\\.\\."
+ "Isabelle\\.command"
"ML"
"ML_command"
"ML_setup"
@@ -246,7 +247,8 @@
"where"))
(defconst isar-keywords-control
- '("ProofGeneral\\.inform_file_processed"
+ '("Isabelle\\.command"
+ "ProofGeneral\\.inform_file_processed"
"ProofGeneral\\.inform_file_retracted"
"ProofGeneral\\.kill_proof"
"ProofGeneral\\.process_pgip"
--- a/etc/isar-keywords.el Fri Dec 07 17:40:06 2007 +0100
+++ b/etc/isar-keywords.el Fri Dec 07 22:19:45 2007 +0100
@@ -9,6 +9,7 @@
(defconst isar-keywords-major
'("\\."
"\\.\\."
+ "Isabelle\\.command"
"ML"
"ML_command"
"ML_setup"
@@ -306,7 +307,8 @@
"where"))
(defconst isar-keywords-control
- '("ProofGeneral\\.inform_file_processed"
+ '("Isabelle\\.command"
+ "ProofGeneral\\.inform_file_processed"
"ProofGeneral\\.inform_file_retracted"
"ProofGeneral\\.kill_proof"
"ProofGeneral\\.process_pgip"
--- a/lib/jedit/isabelle.xml Fri Dec 07 17:40:06 2007 +0100
+++ b/lib/jedit/isabelle.xml Fri Dec 07 22:19:45 2007 +0100
@@ -35,6 +35,7 @@
<KEYWORDS>
<OPERATOR>.</OPERATOR>
<OPERATOR>..</OPERATOR>
+ <INVALID>Isabelle.command</INVALID>
<LABEL>ML</LABEL>
<LABEL>ML_command</LABEL>
<OPERATOR>ML_setup</OPERATOR>