changeset 26394 | ddd7825ea4cd |
parent 26184 | 64ee6a2ca6d6 |
child 26482 | e7f677b85bfd |
1.1 --- a/etc/isar-keywords.el Tue Mar 25 19:39:59 2008 +0100 1.2 +++ b/etc/isar-keywords.el Tue Mar 25 21:01:00 2008 +0100 1.3 @@ -13,6 +13,7 @@ 1.4 "ML" 1.5 "ML_command" 1.6 "ML_setup" 1.7 + "ML_val" 1.8 "ProofGeneral\\.inform_file_processed" 1.9 "ProofGeneral\\.inform_file_retracted" 1.10 "ProofGeneral\\.kill_proof" 1.11 @@ -327,6 +328,7 @@ 1.12 (defconst isar-keywords-diag 1.13 '("ML" 1.14 "ML_command" 1.15 + "ML_val" 1.16 "cd" 1.17 "class_deps" 1.18 "code_deps"