On Sun, Aug 15, 2010 at 11:39 AM, Daniel Fischer <daniel.is.fischer@web.de> wrote:

Out of curiosity, what kind of speed-up did your Friday fix bring to the
searching/replacing functions?

Quite a bit!

text 0.7.1.0 and 0.7.2.1:

darcs HEAD: