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.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 ____________________ Racket Users list: http://lists.racket-lang.org/users
