gui/collects/embedded-gui
Matthew Flatt 8bc1d1c68c v3.99.0.2
svn: r7706

original commit: 39cedb62edf9258b051a22a29a90be9c6841956f
2007-11-13 12:40:00 +00:00
..
private Activate suppression of modified messages. Otherwise, embedded 2007-08-21 08:14:00 +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 v3.99.0.2 2007-11-13 12:40:00 +00:00