Matthew Flatt 92a4106877 text% printer recognizes a line containing only a form-feed character and uses it as a page break; a form-feed character displays as ^L		2010-05-11 09:37:08 -06:00
..
lang	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
private	text% printer recognizes a line containing only a form-feed character and uses it as a page break; a form-feed character displays as ^L	2010-05-11 09:37:08 -06:00
doc.txt	wxme belongs outside of mred, obviously	2007-01-18 14:26:29 +00:00
edit-main.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
edit.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
info.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
installer.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
main.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
mred-sig.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
mred-unit.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
mred.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00