# HG changeset patch
# User wenzelm
# Date 940616648 -7200
# Node ID 35c18affc1d8b97e79461bdf65fe2284223b4319
# Parent  2979b3b75dbd885bdd430fbfabd797e24a389ce0
tuned simplifier trace output;  new flag debug_simp

diff -r 2979b3b75dbd -r 35c18affc1d8 NEWS
--- a/NEWS	Fri Oct 22 20:23:40 1999 +0200
+++ b/NEWS	Fri Oct 22 20:24:08 1999 +0200
@@ -287,6 +287,8 @@
 
 *** Internal programming interfaces ***
 
+* tuned simplifier trace output; new flag debug_simp;
+
 * structures Vartab / Termtab (instances of TableFun) offer efficient
 tables indexed by indexname_ord / term_ord (compatible with aconv);