Re: [racket-dev] up-to-date libgtk for drracket on debian stable?

2011-01-01 Thread Philippe Meunier
John Clements wrote: Debian is a slow-moving distribution, and it looks to me like the version of libgtk in the stable version of Debian Lenny isn't new enough for DrRacket. Here's what I get on startup: On a related note, I just tried to compile DrRacket on a week-old OpenBSD 4.8-current and got

Re: [racket-dev] TR for PL class

2011-01-01 Thread Eli Barzilay
On Sunday, John Clements wrote: Eli: You use a variant of TR for your PL class, right? Yes. Is your stuff fairly straightforward, or would it be a mistake for me to try to adopt it? I think that it works very nicely (disjoint unions works very well for the material). I just tried

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

2011-01-01 Thread Stephen Bloch
On Dec 30, 2010, at 9:26 AM, Robby Findler wrote: On Thu, Dec 30, 2010 at 8:13 AM, mfl...@racket-lang.org wrote: e6fd028 Matthew Flatt mfl...@racket-lang.org 2010-12-30 07:08 : | avoid compiling picturing-programs/tests | because there are references to installed-teachpacks : M