# HG changeset patch
# User wenzelm
# Date 963773204 -7200
# Node ID d43669fb423d6761fe69d46b4a902d2f363bcd27
# Parent  f495dba0cb07b23d7594942cbcb58c5755edf11e
* tuned AST representation of nested pairs, avoiding bogus output in
case of overlap with user translations (e.g. judgements over tuples);
* AST translation rules no longer require constant head on LHS;

diff -r f495dba0cb07 -r d43669fb423d NEWS
--- a/NEWS	Fri Jul 14 20:47:11 2000 +0200
+++ b/NEWS	Sun Jul 16 20:46:44 2000 +0200
@@ -229,9 +229,14 @@
 * fewer consts declared as global (e.g. have to refer to "Lfp.lfp"
 instead of "lfp" internally; affects ML packages only);
 
+* tuned AST representation of nested pairs, avoiding bogus output in
+case of overlap with user translations (e.g. judgements over tuples);
+
 
 *** General ***
 
+* AST translation rules no longer require constant head on LHS;
+
 * improved name spaces: ambiguous output is qualified; support for
 hiding of names;