embedded-gui
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
framework
|
add more operations on number snips
|
2017-04-18 08:01:23 -05:00 |
hierlist
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
icons
|
include icons needed by "gui-lib" in the package
|
2016-01-08 16:31:52 -07:00 |
mred
|
install {gracket,mred}-text as a console application
|
2017-03-24 16:08:37 -06:00 |
mrlib
|
treat dots with pairs inside properly
|
2017-01-30 21:40:49 -06:00 |
racket
|
add a test for use by distribution builds
|
2017-04-25 09:58:40 -06:00 |
scheme
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
info.rkt
|
add preference layers
|
2017-01-22 21:28:20 -06:00 |
LICENSE.txt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |