Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/jedit/isabelle.xml
changeset 25577 d739f48ef40c
parent 25516 ad25835675b9
child 26184 64ee6a2ca6d6 
--- 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>
isabelle