id summary reporter owner description type status priority milestone component resolution keywords cc planetversion pltversion 328 claims to install successfully, but doesn't seem to actually work anonymous 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." defect assigned major divascheme/divascheme.plt (1 6) 5.1