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