gui/collects/embedded-gui
Eli Barzilay 869838e8ed {quick,merge}sort -> sort
svn: r2569

original commit: 16f01a1109691d2fa4844b9411410f4794cf0dc1
2006-04-01 12:24:15 +00:00
..
private {quick,merge}sort -> sort 2006-04-01 12:24:15 +00:00
doc.txt Java example boxes: omit cue text from save-and-loaded or cut-and-paste boxes 2006-01-17 20:35:57 +00:00
embedded-gui.ss added cue text, fixed some bugs 2004-11-06 17:36:33 +00:00
info.ss . 2005-02-02 19:36:22 +00:00