Re: Generalizing find-definition

[Stefan Monnier]

> I do not particularly care either way. I wanted a solution to a problem, and
> whether I write the solution myself or someone else does it is fine with me,
> as long as the problem is solved. :-)

OK.  It looks like Helmut has the momentum, but in any case, thank you
very much for pushing this and making it happen.  It's been among those
things that have crossed my mind many times but I never got around
to it.


        Stefan