Matthew Flatt ff00050329 update Mz/Mr release notes for 4.1.4 (merge) ... svn: r13212 original commit: a0ec28b04ab02778e150ce1c7ee316c50e8c9d9a		2009-01-19 03:32:02 +00:00
collects	added support for customizing the edge label font to the graph library and propogated that argument to the redex traces and traces/ps functions	2009-01-15 21:29:26 +00:00
doc/release-notes/mred	update Mz/Mr release notes for 4.1.4 (merge)	2009-01-19 03:32:02 +00:00
man/man1	add setup-plt and mzc man pages	2008-01-05 23:41:46 +00:00