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 keywords with polyml-experimental;
authorwenzelm
Fri, 27 Mar 2009 21:46:20 +0100
changeset 30745 2823a89c76a4
parent 30744 50ccaef52871
child 30753 78d12065c638
updated keywords with polyml-experimental;
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions
lib/jedit/isabelle.xml file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords-ZF.el	Fri Mar 27 15:42:53 2009 +0100
+++ b/etc/isar-keywords-ZF.el	Fri Mar 27 21:46:20 2009 +0100
@@ -18,6 +18,7 @@
     "ML"
     "ML_command"
     "ML_prf"
+    "ML_test"
     "ML_val"
     "ProofGeneral\\.inform_file_processed"
     "ProofGeneral\\.inform_file_retracted"
@@ -348,6 +349,7 @@
 
 (defconst isar-keywords-theory-decl
   '("ML"
+    "ML_test"
     "abbreviation"
     "arities"
     "attribute_setup"
--- a/etc/isar-keywords.el	Fri Mar 27 15:42:53 2009 +0100
+++ b/etc/isar-keywords.el	Fri Mar 27 21:46:20 2009 +0100
@@ -18,6 +18,7 @@
     "ML"
     "ML_command"
     "ML_prf"
+    "ML_test"
     "ML_val"
     "ProofGeneral\\.inform_file_processed"
     "ProofGeneral\\.inform_file_retracted"
@@ -419,6 +420,7 @@
 
 (defconst isar-keywords-theory-decl
   '("ML"
+    "ML_test"
     "abbreviation"
     "arities"
     "atom_decl"
--- a/lib/jedit/isabelle.xml	Fri Mar 27 15:42:53 2009 +0100
+++ b/lib/jedit/isabelle.xml	Fri Mar 27 21:46:20 2009 +0100
@@ -45,6 +45,7 @@
       <OPERATOR>ML</OPERATOR>
       <LABEL>ML_command</LABEL>
       <OPERATOR>ML_prf</OPERATOR>
+      <OPERATOR>ML_test</OPERATOR>
       <LABEL>ML_val</LABEL>
       <OPERATOR>abbreviation</OPERATOR>
       <KEYWORD4>actions</KEYWORD4>
isabelle