Matthew Flatt 526581bdd6 fix restoring disabled menu item ... svn: r3150 original commit: ba4d10a6395ba42574ad7c6b645ed2ea03310999		2006-05-31 18:36:58 +00:00
collects	fix restoring disabled menu item	2006-05-31 18:36:58 +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