--- 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;