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