next up previous contents
Next: Histories and backtracking Up: Extensions Previous: Graphical thesaurus display

Enriched hit-list display

At present when second and subsequent searches are undertaken for a query, the new hit-list obliterates the old one. It was considered that it might be helpful for users to be shown which documents had occurred on earlier hit-lists, particularly if the query expansion process was having the effect of ``promoting'' them in rank.



PAYNE A
Wed Jul 3 14:11:32 BST 1996