Skip to content
Prev 28633 / 63468 Next

RFC: What should ?foo do?

On 30/04/2008 2:44 AM, Martin Maechler wrote:
Have you tried help.search() lately?  It is now very fast.  I haven't 
checked if help() makes use of the same search mechanism, but presumably 
it could do so, if speed is an issue.

So I would say the speed is a solvable or solved problem.

Duncan Murdoch