author | wenzelm |
Wed, 17 Sep 2008 21:27:03 +0200 | |
changeset 28261 | 045187fc7840 |
parent 28260 | 703046c93ffe |
child 28262 | aa7ca36d67fd |
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"