Re: [racket-users] Search code

2015-08-08 Thread Eli Barzilay
On Sat, Aug 8, 2015 at 11:23 AM, Matthew Flatt wrote: > At Sat, 08 Aug 2015 16:19:23 +0100, Paulo Matos wrote: >> Where can I find the code for : >> http://docs.racket-lang.org/search/index.html > > It's in "scribblings/main/private" in the "racket-index" package: > > https://github.com/plt/racket

Re: [racket-users] Search code

2015-08-08 Thread Matthew Flatt
At Sat, 08 Aug 2015 16:19:23 +0100, Paulo Matos wrote: > Where can I find the code for : > http://docs.racket-lang.org/search/index.html It's in "scribblings/main/private" in the "racket-index" package: https://github.com/plt/racket/tree/master/pkgs/racket-index/scribblings/main/private -- You