DrRacket Version Tool (original) (raw)
8.15
| (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.