On Fri, Aug 5, 2011 at 9:45 AM, Shriram Krishnamurthi <s...@cs.brown.edu> wrote: > Noel is absolutely right. > > We live in an era where Search Just Works. I do dozens of Google > searches on most days. To go from there to Help Desk is an incredibly > jarring experience. I have to load new instructions into my head: > "stick to one word", "stem!", etc., that I haven't had to use on > search engines since the late 1990s. > > Even though I like to program on flights and trains, where Eli's > concerns apply completely, I am also fully aware that I cannot get > various services while disconnected. What is unconscionable is that > I can't do *better* while connected to the internet.
For online, full-text search, couldn't one just use google and add "site:docs.racket-lang.org" to the query? _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev