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

2012-11-22 Thread Danny Yoo
On Tue, Nov 20, 2012 at 8:58 AM, Robby Findler ro...@eecs.northwestern.eduwrote: Yes, I think that's the eventual plan. Ok, I've added documentation. Is red-black.rkt something that I should move into the data collection now, or should I wait? I was also going to change the name of the

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

2012-11-20 Thread Robby Findler
Yes, I think that's the eventual plan. Robby On Tue, Nov 20, 2012 at 9:44 AM, Vincent St-Amour stamo...@ccs.neu.edu wrote: Would it make sense to make this available in the `data' collection? I'm sure it could be useful beyond syntax coloring. Vincent At Mon, 19 Nov 2012 23:07:35 -0500,