1.1 --- a/NEWS	Wed Jul 12 14:47:55 2000 +0200
     1.2 +++ b/NEWS	Wed Jul 12 16:44:34 2000 +0200
     1.3 @@ -230,6 +230,9 @@
     1.4  
     1.5  * provide TAGS file for Isabelle sources;
     1.6  
     1.7 +* ML: infix 'OF' is a version of 'MRS' with more appropriate argument
     1.8 +order;
     1.9 +
    1.10  * ML: renamed flags Syntax.trace_norm_ast to Syntax.trace_ast; global
    1.11  timing flag supersedes proof_timing and Toplevel.trace;
    1.12