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 <vasishtha.sp...@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
