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