changeset 30752 | 2823a89c76a4 |
parent 30529 | fae488569faf |
child 31106 | 9a1178204dc0 |
1.1 --- a/etc/isar-keywords-ZF.el Fri Mar 27 15:42:53 2009 +0100 1.2 +++ b/etc/isar-keywords-ZF.el Fri Mar 27 21:46:20 2009 +0100 1.3 @@ -18,6 +18,7 @@ 1.4 "ML" 1.5 "ML_command" 1.6 "ML_prf" 1.7 + "ML_test" 1.8 "ML_val" 1.9 "ProofGeneral\\.inform_file_processed" 1.10 "ProofGeneral\\.inform_file_retracted" 1.11 @@ -348,6 +349,7 @@ 1.12 1.13 (defconst isar-keywords-theory-decl 1.14 '("ML" 1.15 + "ML_test" 1.16 "abbreviation" 1.17 "arities" 1.18 "attribute_setup"