18 Jul
2003
18 Jul
'03
12:56 p.m.
--On Freitag, 18. Juli 2003 13:52 Uhr +0100 Chris Withers <chrisw@nipltd.com> wrote:
Dieter Maurer wrote:
I suggest to change the title to "# index terms" and revert for the indexes to the old behaviour.
If that'll make it quicker, cool :-)
I am usually not interested in the number of index terms but in the number of documents that are indexed. This is much more meaningful. -aj