[racket] DrRacket Helpdesk
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.
But in the intervening years people may have made new course notes
that mention the help desk item!!
You can never stop!! You're trapped for all eternity!!
-- hendrik
>
> Robby
>
>
> On Mon, Dec 2, 2013 at 5:56 PM, Harry Spier <vasishtha.spier at gmail.com>wrote:
>
> >
> > Dear list members,
> >
> > Why in the DrRacket help menu is there both a "helpdesk" and a "Racket
> > Documentation" button. AFAICT they both do the same thing, bring up the
> > Racket documentation webpage.
> >
> > Thanks,
> > Harry
> >
> > ____________________
> > Racket Users list:
> > http://lists.racket-lang.org/users
> >
> >
> ____________________
> Racket Users list:
> http://lists.racket-lang.org/users