# HG changeset patch
# User wenzelm
# Date 936213604 -7200
# Node ID cba45c114f3be28a882b734ac531858a59d84785
# Parent  5a1035047bae8470586ba3a7f14c2144b5766fe9
structures Vartab / Termtab (instances of TableFun);

diff -r 5a1035047bae -r cba45c114f3b NEWS
--- 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