You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Michael Peter Christen e2f8f263e8 changed storage of search words: keep order		13 years ago
..
index	serialized some database access methods	13 years ago
query	changed storage of search words: keep order	13 years ago
ranking	performance hack	13 years ago
snippet	performance hack	13 years ago
IndexAbstracts.java	…
Switchboard.java	fixed parser extension deny list generation and usage	13 years ago
SwitchboardConstants.java	added option to have exception search result windows	13 years ago