# HG changeset patch
# User wenzelm
# Date 1238239581 -3600
# Node ID 78d12065c638f3696537120695c7e3839dcf6450
# Parent 5272864d68920198f767424027f702dd00300531# Parent 2823a89c76a4376fcdf9c46fbe76ffcbdb5a3dc4
merged
diff -r 5272864d6892 -r 78d12065c638 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el Sat Mar 28 00:13:01 2009 +0100
+++ b/etc/isar-keywords-ZF.el Sat Mar 28 12:26:21 2009 +0100
@@ -18,6 +18,7 @@
"ML"
"ML_command"
"ML_prf"
+ "ML_test"
"ML_val"
"ProofGeneral\\.inform_file_processed"
"ProofGeneral\\.inform_file_retracted"
@@ -348,6 +349,7 @@
(defconst isar-keywords-theory-decl
'("ML"
+ "ML_test"
"abbreviation"
"arities"
"attribute_setup"
diff -r 5272864d6892 -r 78d12065c638 etc/isar-keywords.el
--- a/etc/isar-keywords.el Sat Mar 28 00:13:01 2009 +0100
+++ b/etc/isar-keywords.el Sat Mar 28 12:26:21 2009 +0100
@@ -18,6 +18,7 @@
"ML"
"ML_command"
"ML_prf"
+ "ML_test"
"ML_val"
"ProofGeneral\\.inform_file_processed"
"ProofGeneral\\.inform_file_retracted"
@@ -419,6 +420,7 @@
(defconst isar-keywords-theory-decl
'("ML"
+ "ML_test"
"abbreviation"
"arities"
"atom_decl"
diff -r 5272864d6892 -r 78d12065c638 lib/jedit/isabelle.xml
--- a/lib/jedit/isabelle.xml Sat Mar 28 00:13:01 2009 +0100
+++ b/lib/jedit/isabelle.xml Sat Mar 28 12:26:21 2009 +0100
@@ -45,6 +45,7 @@
ML
ML_prf
+ ML_test
abbreviation
actions