11 May
2007
11 May
'07
10: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