gui/notes/mred
Matthew Flatt 8c7c450f29 .
original commit: c61f236664a77b3fa8bb125499f2610996b8434b
2000-05-28 16:27:32 +00:00
..
FONTS ... 2000-05-25 15:55:50 +00:00
fonts12.mre ... 2000-05-25 15:55:50 +00:00
fontsall.mre ... 2000-05-25 15:55:50 +00:00
HISTORY . 2000-05-28 16:27:32 +00:00
MrEd_100_Framework.txt ... 1999-10-22 20:02:46 +00:00
MrEd_100.txt . 1999-11-28 23:42:06 +00:00
MrEd.ad ... 2000-05-25 15:55:50 +00:00
mred.fnt ... 2000-05-25 15:55:50 +00:00
mred.ini ... 2000-05-25 15:55:50 +00:00
OPENBUGS ... 2000-05-25 15:55:50 +00:00