[racket-dev] drracket pkgs

2013-08-11 Thread Robby Findler
There is now a new, small drracket pkg called drracket-plugin-lib that provides just enough to be able to define a tool. So, if you have a package that has a drracket plugin, but doesn't necessarily need drracket itself to work, you can make it depend only on drracket-plugin-lib, and not drracket.

Re: [racket-dev] [plt] Push #27294: master branch updated

2013-08-11 Thread Eli Barzilay
6 hours ago, mfl...@racket-lang.org wrote: 2ba615a Matthew Flatt mfl...@racket-lang.org 2013-08-10 19:12 : | directory-list: always sort results | | Consistently sorting shouldn't cost much relative to the | cost of `directory-list' (except for the path-bytes conversion?), | and it makes