# HG changeset patch
# User wenzelm
# Date 1197062385 -3600
# Node ID d739f48ef40cd3c1ec7d7b8663f2b2d924fb84f7
# Parent  ee11881606b7d338710efa0ffa06f5c12581d702
updated;

diff -r ee11881606b7 -r d739f48ef40c etc/isar-keywords-ZF.el
--- 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"
diff -r ee11881606b7 -r d739f48ef40c etc/isar-keywords.el
--- 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"
diff -r ee11881606b7 -r d739f48ef40c lib/jedit/isabelle.xml
--- 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>