Tommaso Cucinotta wrote: > Also, are you sure we cannot easily speed-up things even keeping the > current text-based search ?
i dont think that binary search is a must in itself, but the current speed is unbearably slow. to wait 30s for searching through math manual is so much that i fear that it would be problem to speed it up just by polishing the current code. of course you are welcome to prove me wrong... pavel
