| .. |
|
module-interface
|
add start of gui component to show the module interface (contracts/types/etc..)
|
2010-12-10 17:08:21 -07:00 |
|
syncheck
|
change drracket and framework so they don't rebind printf anymore
|
2011-01-02 10:03:24 -06:00 |
|
app.rkt
|
"TeachScheme!" -> "Program by Design" in DrRacket
|
2010-11-25 22:10:33 -05:00 |
|
auto-language.rkt
|
|
|
|
bindings-browser.rkt
|
|
|
|
bitmap-message.rkt
|
|
|
|
debug.rkt
|
change drracket and framework so they don't rebind printf anymore
|
2011-01-02 10:03:24 -06:00 |
|
drracket-normal.rkt
|
|
|
|
drsig.rkt
|
add a menu item to the check syntax context-sensitive help that offers to search in help desk (just like the menu item that is there when check syntax is not running)
|
2010-12-16 16:12:51 -06:00 |
|
eb.rkt
|
better frame sizing in gtk (but still not right)
|
2010-11-05 15:54:07 -06:00 |
|
embedded-snip-utils.rkt
|
|
|
|
eval.rkt
|
adjust drracket so that, during check syntax, there is less sharing between drracket and the user program. specifically, the gui libs are not shared
|
2010-10-19 07:07:09 -05:00 |
|
font.rkt
|
sort the font names in the popup
|
2010-12-07 07:27:54 -06:00 |
|
frame.rkt
|
added support for saving bug reports (for ease of offline submission)
|
2010-12-14 19:14:33 -06:00 |
|
get-defs.rkt
|
|
|
|
get-extend.rkt
|
|
|
|
help-desk.rkt
|
|
|
|
honu-logo.rkt
|
|
|
|
init.rkt
|
|
|
|
insert-large-letters.rkt
|
letrec: consider outside bindings safe.
|
2010-12-08 20:32:19 -05:00 |
|
key.rkt
|
|
|
|
label-frame-mred.rkt
|
|
|
|
language-configuration.rkt
|
fixed a bug that Eli noticed in the initial state of the language dialog
|
2011-01-02 10:03:23 -06:00 |
|
language-object-contract.rkt
|
|
|
|
language.rkt
|
change drracket and framework so they don't rebind printf anymore
|
2011-01-02 10:03:24 -06:00 |
|
launcher-bootstrap.rkt
|
|
|
|
launcher-mred-bootstrap.rkt
|
|
|
|
launcher-mz-bootstrap.rkt
|
|
|
|
link.rkt
|
|
|
|
main.rkt
|
added support for saving bug reports (for ease of offline submission)
|
2010-12-14 19:14:33 -06:00 |
|
modes.rkt
|
|
|
|
module-browser.rkt
|
|
|
|
module-language-tools.rkt
|
drr: avoid making the window jump wider when a new tab is created.
|
2010-12-04 18:40:47 -06:00 |
|
module-language.rkt
|
save the 'preserve stacktrace' setting the language preference
|
2010-12-25 20:07:34 -06:00 |
|
multi-file-search.rkt
|
multi-file search bugfix
|
2010-12-14 19:14:29 -06:00 |
|
number-snip.rkt
|
|
|
|
palaka.rkt
|
Removed some exe bits that look redundant.
|
2010-12-31 15:59:39 -05:00 |
|
profile-drs.rkt
|
|
|
|
recon.rkt
|
|
|
|
rep.rkt
|
changes the way the drracket frame is initialized so that it finishes on a single GUI event callback
|
2011-01-04 06:18:44 -06:00 |
|
stick-figures.rkt
|
|
|
|
syncheck-debug.rkt
|
|
|
|
text.rkt
|
|
|
|
tool-contract-language.rkt
|
|
|
|
tools-drs.rkt
|
set `read-accept-lang' to #t by default, plus related adjustments
|
2010-10-08 19:01:33 -06:00 |
|
tools.rkt
|
|
|
|
tracing.rkt
|
|
|
|
ts.rkt
|
|
|
|
unit.rkt
|
changes the way the drracket frame is initialized so that it finishes on a single GUI event callback
|
2011-01-04 06:18:44 -06:00 |
