etc/isar-keywords.el

--- a/etc/isar-keywords.el	Wed Sep 17 22:06:59 2008 +0200
+++ b/etc/isar-keywords.el	Wed Sep 17 23:04:27 2008 +0200
@@ -15,6 +15,7 @@
     "Isar\\.remove"
     "ML"
     "ML_command"
+    "ML_prf"
     "ML_val"
     "ProofGeneral\\.inform_file_processed"
     "ProofGeneral\\.inform_file_retracted"
@@ -552,7 +553,8 @@
     "with"))
 
 (defconst isar-keywords-proof-decl
-  '("also"
+  '("ML_prf"
+    "also"
     "let"
     "moreover"
     "note"