| changeset 9288 | 06a55195741b |
| parent 9239 | b31c2132176a |
| child 9330 | 6861e3b00155 |
--- a/NEWS Wed Jul 12 14:47:55 2000 +0200 +++ b/NEWS Wed Jul 12 16:44:34 2000 +0200 @@ -230,6 +230,9 @@ * provide TAGS file for Isabelle sources; +* ML: infix 'OF' is a version of 'MRS' with more appropriate argument +order; + * ML: renamed flags Syntax.trace_norm_ast to Syntax.trace_ast; global timing flag supersedes proof_timing and Toplevel.trace;