# HG changeset patch
# User wenzelm
# Date 1221685467 -7200
# Node ID fd0485db7d5a2a7ef37b191fdffc45252ab1a86e
# Parent  7d56de7e2305623ab4840350737dabe6d0962dc0
updated generated file;

diff -r 7d56de7e2305 -r fd0485db7d5a 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"
diff -r 7d56de7e2305 -r fd0485db7d5a lib/jedit/isabelle.xml
--- a/lib/jedit/isabelle.xml	Wed Sep 17 22:06:59 2008 +0200
+++ b/lib/jedit/isabelle.xml	Wed Sep 17 23:04:27 2008 +0200
@@ -41,6 +41,7 @@
       <INVALID>Isar.remove</INVALID>
       <OPERATOR>ML</OPERATOR>
       <LABEL>ML_command</LABEL>
+      <OPERATOR>ML_prf</OPERATOR>
       <LABEL>ML_val</LABEL>
       <OPERATOR>abbreviation</OPERATOR>
       <KEYWORD4>actions</KEYWORD4>