Matthew Flatt c16c04dab0 GUI package manager: further refinements ... Use better labels, such as "Available from Catalog" instead of "By List" or "Do What I Mean" instead of "By Source". Add filter box to the "Currently Installed" panel, andmake status marker the same as on "Available from Catalog".		2013-08-21 11:11:02 -06:00
..
private	GUI package manager: further refinements	2013-08-21 11:11:02 -06:00
tests	reorganize into core plus packages	2013-06-19 09:01:37 -06:00
info.rkt	Use #lang info instead of #lang setup/infotab.	2013-07-04 16:46:32 -04:00
main.rkt	reorganize into core plus packages	2013-06-19 09:01:37 -06:00
string-constant.rkt	reorganize into core plus packages	2013-06-19 09:01:37 -06:00