Matthew Flatt cc4aee8e82 mrlib/terminal: generalize to allow an embedded terminal ... That is, instead of always creating a new frame, allow the terminal GUI to work as a panel. original commit: b7f17b389a9b963defc1befc199a7f38f8d34014		2013-04-19 15:30:36 -06:00
collects	mrlib/terminal: generalize to allow an embedded terminal	2013-04-19 15:30:36 -06:00
doc/release-notes	remove unsupported MDI styles and method	2011-08-04 08:02:54 -06:00
man/man1	minor man-page corrections	2011-02-01 08:01:17 -07:00