8.12
DrRacket Version Tool
| (require version/tool) | package: drracket |
The version/tool library implements a DrRacket tool that
makes the patchlevel display as a version p‹N› suffix in DrRacket (though the base verion reported by (version) is not changed);
if enabled by the user, periodically checks whether a new Racket distribution is available for download.