Matthew Flatt 3cecd10272 remove unneeded dependency of framework on parts of Scribble; Redex doc repairs; add #:style? argument to deftech ... svn: r13696 original commit: 941a8935aa15954607a9e9437caf7293e5da18f8		2009-02-17 15:22:55 +00:00
collects	remove unneeded dependency of framework on parts of Scribble; Redex doc repairs; add #:style? argument to deftech	2009-02-17 15:22:55 +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