Ticket #328 (assigned defect)
claims to install successfully, but doesn't seem to actually work
|Reported by:||anonymous||Owned by:||dyoo|
Welcome to DrRacket, version 5.1 [3m]. Language: racket; memory limit: 128 MB. > (require (planet divascheme/divascheme:1:6/install)) DivaScheme should now be installed. To finish the installation, please restart DrScheme. Once restarted, F4 will toggle DivaScheme on and off. If you wish to install the launcher for generate-stags, see Help Desk on 'generate-stags' for details. >
but then when I restart DrRacket? and hit F4 nothing happens. I remember
this extension working in previous versions of PLT, but it doesn't seem
compatible with the current version for some reason.