Le 28/06/2019 à 18:31, Kornel Benko a écrit :
Am Freitag, 28. Juni 2019, 16:31:49 CEST schrieb Jean-Marc Lasgouttes:Now the search is logarithmic, search-time = O(log(n)). Still too much.
What would be a typical search that is slow? Just search a word in the UserGuide? Or do regexs need to be invilved?
JMarc
