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.
*** empty log message ***
authorwenzelm
Tue, 25 Mar 2008 21:01:00 +0100
changeset 26394 ddd7825ea4cd
parent 26393 42febbed5460
child 26395 9e0e4ce51313
*** empty log message ***
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	Tue Mar 25 19:39:59 2008 +0100
+++ b/etc/isar-keywords-ZF.el	Tue Mar 25 21:01:00 2008 +0100
@@ -13,6 +13,7 @@
     "ML"
     "ML_command"
     "ML_setup"
+    "ML_val"
     "ProofGeneral\\.inform_file_processed"
     "ProofGeneral\\.inform_file_retracted"
     "ProofGeneral\\.kill_proof"
@@ -267,6 +268,7 @@
 (defconst isar-keywords-diag
   '("ML"
     "ML_command"
+    "ML_val"
     "cd"
     "class_deps"
     "commit"
--- a/etc/isar-keywords.el	Tue Mar 25 19:39:59 2008 +0100
+++ b/etc/isar-keywords.el	Tue Mar 25 21:01:00 2008 +0100
@@ -13,6 +13,7 @@
     "ML"
     "ML_command"
     "ML_setup"
+    "ML_val"
     "ProofGeneral\\.inform_file_processed"
     "ProofGeneral\\.inform_file_retracted"
     "ProofGeneral\\.kill_proof"
@@ -327,6 +328,7 @@
 (defconst isar-keywords-diag
   '("ML"
     "ML_command"
+    "ML_val"
     "cd"
     "class_deps"
     "code_deps"
--- a/lib/jedit/isabelle.xml	Tue Mar 25 19:39:59 2008 +0100
+++ b/lib/jedit/isabelle.xml	Tue Mar 25 21:01:00 2008 +0100
@@ -39,6 +39,7 @@
       <LABEL>ML</LABEL>
       <LABEL>ML_command</LABEL>
       <OPERATOR>ML_setup</OPERATOR>
+      <LABEL>ML_val</LABEL>
       <OPERATOR>abbreviation</OPERATOR>
       <KEYWORD4>actions</KEYWORD4>
       <KEYWORD4>advanced</KEYWORD4>
isabelle