NEWS
changeset 7420 cba45c114f3b
parent 7327 596318fdb379
child 7444 ee17ad649c26
     1.1 --- a/NEWS	Wed Sep 01 21:19:37 1999 +0200
     1.2 +++ b/NEWS	Wed Sep 01 21:20:04 1999 +0200
     1.3 @@ -242,6 +242,9 @@
     1.4  
     1.5  *** Internal programming interfaces ***
     1.6  
     1.7 +* structures Vartab / Termtab (instances of TableFun) offer efficient
     1.8 +tables indexed by indexname_ord / term_ord (compatible with aconv);
     1.9 +
    1.10  * AxClass.axclass_tac lost the theory argument;
    1.11  
    1.12  * tuned current_goals_markers semantics: begin / end goal avoids