NEWS
changeset 7919 35c18affc1d8
parent 7886 8fa551e22e52
child 7986 9d319a76dbeb
     1.1 --- a/NEWS	Fri Oct 22 20:23:40 1999 +0200
     1.2 +++ b/NEWS	Fri Oct 22 20:24:08 1999 +0200
     1.3 @@ -287,6 +287,8 @@
     1.4  
     1.5  *** Internal programming interfaces ***
     1.6  
     1.7 +* tuned simplifier trace output; new flag debug_simp;
     1.8 +
     1.9  * structures Vartab / Termtab (instances of TableFun) offer efficient
    1.10  tables indexed by indexname_ord / term_ord (compatible with aconv);
    1.11