Matthew Flatt 98822cf1f9 adjust `racket/gui' and dependencies to survive a locked preference file ... - adds a `#:timeout-lock-there' argument to `get-preference' - fixes preference looup in `racket/gui' - make preference names consistently use `GRacket' and consistently fall back on `MrEd' names - fix Emacs-style undo mode while we're at it		2011-01-18 17:37:33 -07:00
..
lang
private	adjust `racket/gui' and dependencies to survive a locked preference file	2011-01-18 17:37:33 -07:00
doc.txt
edit-main.rkt
edit.rkt
info.rkt
installer.rkt
main.rkt
mred-sig.rkt	add `svg-dc%'	2011-01-10 16:41:16 -07:00
mred-unit.rkt
mred.rkt	Add a layer of export redirection in mred/mred.rkt.	2011-01-11 21:55:37 -05:00