DrRacket Version Tool

• |  | Dr Racket Version Tool

Dr Racket Version Tool

8.15
top contents ← prev up next →

## 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.

top contents ← prev up next →