1.1 --- a/etc/isar-keywords-ZF.el	Wed Sep 17 15:59:23 2008 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Wed Sep 17 21:27:03 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 @@ -459,7 +460,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"