gui/gui-lib
Matthew Flatt 31231a6a8d narrow dependencies on Carbon
(reduced Carbon footprint?)
2015-01-09 08:37:38 -07:00
..
embedded-gui Remove extra directories. 2014-12-02 02:33:07 -05:00
framework make the search/replace button actually finish 2014-12-30 11:59:30 -06:00
hierlist Remove extra directories. 2014-12-02 02:33:07 -05:00
icons Remove extra directories. 2014-12-02 02:33:07 -05:00
mred narrow dependencies on Carbon 2015-01-09 08:37:38 -07:00
mrlib add definitely-same-image? to mrlib/image-core 2014-12-30 10:35:13 -06:00
racket Remove extra directories. 2014-12-02 02:33:07 -05:00
scheme Remove extra directories. 2014-12-02 02:33:07 -05:00
scribble/private Remove extra directories. 2014-12-02 02:33:07 -05:00
unstable Remove extra directories. 2014-12-02 02:33:07 -05:00
info.rkt add after-set-port-unsaved-name and set-port-unsaved-name 2014-12-11 21:33:42 -06:00
LICENSE.txt Remove extra directories. 2014-12-02 02:33:07 -05:00