Robby Findler ec6408b343 Adjust the web download phase of the install .plt file ... menu item in drracket so that it first checks to see if the downloaded file matches a .plt archive and, if not, try to put some friendlier message in front of the gzip error closes PR 9425 closes PR 13129		2012-09-24 14:11:21 -05:00
..
private	Adjust the web download phase of the install .plt file	2012-09-24 14:11:21 -05:00
tests
info.rkt
main.rkt
string-constant.rkt
string-constants.scrbl