On Tue, Sep 21, 2010 at 5:47 PM, Matthias Felleisen <matth...@ccs.neu.edu> wrote: > > I often program in an 'off line' manner, and I'd find on-line docs to be way > too slow. I don't mind building the docs once a day.
Google Gears was a framework to build these sort of things, namely provide locally cached version of a dynamic online service. Google Gears was deprecated but I hear HTML 5 is supposed to have similar functionality, or will have. Alternatively, DrRacket could be programmed to download updates to the docs once a day. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
