1.1 --- a/etc/isar-keywords-ZF.el Tue Mar 25 19:39:59 2008 +0100
1.2 +++ b/etc/isar-keywords-ZF.el Tue Mar 25 21:01:00 2008 +0100
1.3 @@ -13,6 +13,7 @@
1.4 "ML"
1.5 "ML_command"
1.6 "ML_setup"
1.7 + "ML_val"
1.8 "ProofGeneral\\.inform_file_processed"
1.9 "ProofGeneral\\.inform_file_retracted"
1.10 "ProofGeneral\\.kill_proof"
1.11 @@ -267,6 +268,7 @@
1.12 (defconst isar-keywords-diag
1.13 '("ML"
1.14 "ML_command"
1.15 + "ML_val"
1.16 "cd"
1.17 "class_deps"
1.18 "commit"
2.1 --- a/etc/isar-keywords.el Tue Mar 25 19:39:59 2008 +0100
2.2 +++ b/etc/isar-keywords.el Tue Mar 25 21:01:00 2008 +0100
2.3 @@ -13,6 +13,7 @@
2.4 "ML"
2.5 "ML_command"
2.6 "ML_setup"
2.7 + "ML_val"
2.8 "ProofGeneral\\.inform_file_processed"
2.9 "ProofGeneral\\.inform_file_retracted"
2.10 "ProofGeneral\\.kill_proof"
2.11 @@ -327,6 +328,7 @@
2.12 (defconst isar-keywords-diag
2.13 '("ML"
2.14 "ML_command"
2.15 + "ML_val"
2.16 "cd"
2.17 "class_deps"
2.18 "code_deps"
3.1 --- a/lib/jedit/isabelle.xml Tue Mar 25 19:39:59 2008 +0100
3.2 +++ b/lib/jedit/isabelle.xml Tue Mar 25 21:01:00 2008 +0100
3.3 @@ -39,6 +39,7 @@
3.4 <LABEL>ML</LABEL>
3.5 <LABEL>ML_command</LABEL>
3.6 <OPERATOR>ML_setup</OPERATOR>
3.7 + <LABEL>ML_val</LABEL>
3.8 <OPERATOR>abbreviation</OPERATOR>
3.9 <KEYWORD4>actions</KEYWORD4>
3.10 <KEYWORD4>advanced</KEYWORD4>