gui/collects/embedded-gui
Matthew Flatt 2e537cd062 aligned-pasteboard and cue-text% repairs
svn: r14463

original commit: 52d6fb4e1dd1ca6a62f5026f748f200c2318e82b
2009-04-08 12:59:22 +00:00
..
private aligned-pasteboard and cue-text% repairs 2009-04-08 12:59:22 +00:00
scribblings assign authors to manuals 2008-08-15 20:16:06 +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 proprocessor doc, merge scribblings and doc-categories fields 2008-04-23 00:20:25 +00:00
main.ss add lots of main.ss files where appropriate 2008-02-22 16:28:31 +00:00