alex-hhh de03f1a98f Update editor<%> docs to clarify that undo needs to be enabled (#49)		2016-09-26 07:20:39 -05: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	Update editor<%> docs to clarify that undo needs to be enabled (#49)	2016-09-26 07:20:39 -05: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