The DrRacket Start-up
drracket-startup.rkt
drracket-plugin.rkt
drracket-info.rkt
(not to be confused with a plain "info.rkt" file)
Back