Matthew Flatt d47712f2f5 Java example boxes: omit cue text from save-and-loaded or cut-and-paste boxes ... svn: r1850 original commit: f81cf986b52576551aa934feff8eb584dc908857		2006-01-17 20:35:57 +00:00
collects	Java example boxes: omit cue text from save-and-loaded or cut-and-paste boxes	2006-01-17 20:35:57 +00:00
man/man1	minor consistency improvements	2005-12-12 17:35:49 +00:00
notes/mred	undo off by default, Emacs-style undo added	2005-12-30 21:41:58 +00:00