On Fri, Aug 5, 2011 at 8:45 AM, Eli Barzilay <e...@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. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
