Re: [racket] DrRacket Helpdesk

2013-12-03 Thread Robby Findler
On Tue, Dec 3, 2013 at 6:22 PM, Hendrik Boom wrote: > On Mon, Dec 02, 2013 at 06:49:39PM -0600, Robby Findler wrote: > > They used to be different and I feared people had used one or the other > in > > course notes and so didn't want to get rid of them, but probably it has > > been long enough no

Re: [racket] DrRacket Helpdesk

2013-12-03 Thread Hendrik Boom
On Mon, Dec 02, 2013 at 06:49:39PM -0600, Robby Findler wrote: > They used to be different and I feared people had used one or the other in > course notes and so didn't want to get rid of them, but probably it has > been long enough now that I should just get rid of the "help desk" menu > item. Bu

Re: [racket] DrRacket Helpdesk

2013-12-02 Thread Robby Findler
They used to be different and I feared people had used one or the other in course notes and so didn't want to get rid of them, but probably it has been long enough now that I should just get rid of the "help desk" menu item. Robby On Mon, Dec 2, 2013 at 5:56 PM, Harry Spier wrote: > > Dear list