1.1 --- a/etc/isar-keywords.el	Wed Sep 17 22:06:59 2008 +0200
     1.2 +++ b/etc/isar-keywords.el	Wed Sep 17 23:04:27 2008 +0200
     1.3 @@ -15,6 +15,7 @@
     1.4      "Isar\\.remove"
     1.5      "ML"
     1.6      "ML_command"
     1.7 +    "ML_prf"
     1.8      "ML_val"
     1.9      "ProofGeneral\\.inform_file_processed"
    1.10      "ProofGeneral\\.inform_file_retracted"
    1.11 @@ -552,7 +553,8 @@
    1.12      "with"))
    1.13  
    1.14  (defconst isar-keywords-proof-decl
    1.15 -  '("also"
    1.16 +  '("ML_prf"
    1.17 +    "also"
    1.18      "let"
    1.19      "moreover"
    1.20      "note"

     2.1 --- a/lib/jedit/isabelle.xml	Wed Sep 17 22:06:59 2008 +0200
     2.2 +++ b/lib/jedit/isabelle.xml	Wed Sep 17 23:04:27 2008 +0200
     2.3 @@ -41,6 +41,7 @@
     2.4        <INVALID>Isar.remove</INVALID>
     2.5        <OPERATOR>ML</OPERATOR>
     2.6        <LABEL>ML_command</LABEL>
     2.7 +      <OPERATOR>ML_prf</OPERATOR>
     2.8        <LABEL>ML_val</LABEL>
     2.9        <OPERATOR>abbreviation</OPERATOR>
    2.10        <KEYWORD4>actions</KEYWORD4>