> > > Did you use `raco docs' to open the documentation page? >
No. All I did was to access the Help Desk from DrRacket's Help menu. BTW, this is a fresh install, after uninstalling the previous version. I can see the wrong links in the file index.html, in AppData/Roaming/Racket/5.3.0.11/doc/ Best, António.
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
