Matthew Flatt a5da3f327f use MrEd:default-font-size preference ... svn: r17914		2010-01-31 14:55:07 +00:00
..
lang	Switch language readers to #lang s-exp	2009-06-16 17:13:51 +00:00
private	use MrEd:default-font-size preference	2010-01-31 14:55:07 +00:00
doc.txt
edit-main.ss
edit.ss
info.ss
installer.ss
main.ss
mred-sig.ss
mred-unit.ss
mred.ss	snip and editor-data class lists need to be eventspace-specific	2009-04-21 16:37:25 +00:00