Andreas Bille 065784bbcc #89660# ...

Multiple entries are now avoided.
There is no way to reevaluate the ranking after the search engine
has produced the result.

2001-07-16 14:20:25 +00:00

..

db

Added checked index access

2001-07-06 10:04:07 +00:00

provider

#89660#

2001-07-16 14:20:25 +00:00

qe

Added checked index access

2001-07-06 10:04:07 +00:00

test

pretty printing

2001-05-22 13:57:13 +00:00

util

#88432#

2001-06-19 12:41:05 +00:00