[racket-dev] Roogle?

On Fri, Aug 5, 2011 at 8:45 AM, Eli Barzilay <eli at barzilay.org> wrote:
> Ah, if you mean a way to have both kinds of searches work on your
> installation

Yes.

> Well, the issue was exactly the dependency on an on-line connection
> and no user-specific docs.

For the first, the ajax request should get around it. For the second:
m'eh. You'll still get the JS index results. One could transmit the
set of installed packages to the full text server, but the great is
the enemy of the good, and it just needs to be good enough.

N.