Leif Andersen 68dcd1156d Updated docs to point to gui-interactive.rkt		2016-07-30 13:38:47 -04:00
..
embedded-gui	Remove extra directories.	2014-12-02 02:33:07 -05:00
mrlib	generalize set-interactive-write-handler & use it in text:ports-mixin	2016-05-28 18:34:52 -05:00
scribblings	Updated docs to point to gui-interactive.rkt	2016-07-30 13:38:47 -04:00
info.rkt	gui-doc now depends on xrepl doc.	2016-07-26 10:30:05 -04:00
LICENSE.txt	Remove extra directories.	2014-12-02 02:33:07 -05:00