| .. |
|
lang
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
private
|
repair to work with ancient Gtk
|
2016-04-17 14:32:47 -06:00 |
|
doc.txt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
Draw_and_GUI_5_1.txt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
edit-main.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
edit.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
HISTORY.txt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
info.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
installer.rkt
|
use cross-system-type for the mred installer
|
2015-08-27 20:59:33 -06:00 |
|
main.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
MrEd_100_Framework.txt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
MrEd_100.txt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
mred-sig.rkt
|
add any-control+alt-is-altgr
|
2016-03-17 16:39:40 -06:00 |
|
mred-unit.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
mred.1
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
mred.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
