DrRacket Version Tool

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.