Matthew Flatt b259e75244 update command-line flags, purge PLTHOME ... svn: r3046 original commit: 540e494fb9a85f4fc9852f21f01dca5fca354358		2006-05-24 20:27:51 +00:00
collects	disable framework test exes and change web-server executable names	2006-05-22 21:44:00 +00:00
doc/release-notes/mred	301.15: new install tree for Unix, moved docs, moved teachpacks, added config.ss	2006-05-18 15:03:05 +00:00
man/man1	update command-line flags, purge PLTHOME	2006-05-24 20:27:51 +00:00