Commit Graph

4 Commits

Author SHA1 Message Date
Matthew Flatt
d94a4cd830 add migration panel to GUI package manager
Also add "gui-pkg-manager" packages, including a "Racket Package Manager"
GUI application (that needs a better icon).

The package that supplies "Racket Package Manager" is not in the main
distribution, since DrRacket already includes the GUI package manager.
2013-07-26 14:07:05 -06:00
Robby Findler
ceca1e0ba7 add an option to disable the blue arrow things
(and thus the blue boxes) entirely

closes PR 13761
2013-06-29 07:11:18 -05:00
Patrick Mahoney
2f2bbd09cc Browser-to-Racket
Update the browser collection to use Racket lang instead of mzscheme.
2013-06-24 21:48:55 -05:00
Matthew Flatt
b2ebb0a28b reorganize into core plus packages
The "racket" directory contains a pared-back version of the
repository, roughly.

The "pkgs" directory everything else in the repository, but
organized into packages.
2013-06-19 09:01:37 -06:00