Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated generated file;
authorwenzelm
Wed, 17 Sep 2008 23:04:27 +0200
changeset 28280 fd0485db7d5a
parent 28279 7d56de7e2305
child 28281 132456af0731
updated generated file;
etc/isar-keywords.el file | annotate | diff | comparison | revisions
lib/jedit/isabelle.xml file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Wed Sep 17 22:06:59 2008 +0200
+++ b/etc/isar-keywords.el	Wed Sep 17 23:04:27 2008 +0200
@@ -15,6 +15,7 @@
     "Isar\\.remove"
     "ML"
     "ML_command"
+    "ML_prf"
     "ML_val"
     "ProofGeneral\\.inform_file_processed"
     "ProofGeneral\\.inform_file_retracted"
@@ -552,7 +553,8 @@
     "with"))
 
 (defconst isar-keywords-proof-decl
-  '("also"
+  '("ML_prf"
+    "also"
     "let"
     "moreover"
     "note"
--- a/lib/jedit/isabelle.xml	Wed Sep 17 22:06:59 2008 +0200
+++ b/lib/jedit/isabelle.xml	Wed Sep 17 23:04:27 2008 +0200
@@ -41,6 +41,7 @@
       <INVALID>Isar.remove</INVALID>
       <OPERATOR>ML</OPERATOR>
       <LABEL>ML_command</LABEL>
+      <OPERATOR>ML_prf</OPERATOR>
       <LABEL>ML_val</LABEL>
       <OPERATOR>abbreviation</OPERATOR>
       <KEYWORD4>actions</KEYWORD4>
isabelle