![](https://secure.gravatar.com/avatar/c20259e0cf66c69b086cdd53fd972b72.jpg?s=120&d=mm&r=g)
11 May
2007
11 May
'07
4:21 a.m.
Hello! Aditya Mahajan wrote:
And if you remember that a regex search is going in the background, that you can make use of that.
Good to know. A note on this on the main search page would be usefull. Not a big issue, just remark: with more complex regexp searching works, but displaying the page fails (highlighting?). Try "\\def[^\]a". Jano