Search engine:
* results are now displayed using different colors for tokens highlighting * added label tag around "all words" checkbox
Authored by: jplang 2007-10-15
Parent: [r840]
Child: [r842]
