Robby Findler 086ff122f9 clean up the way check syntax handles the various callbacks that tell it ... that things have changed and it needs to show different stuff in the editor. (hopefully tooltips now come and go properly)		2011-09-27 16:20:47 -05:00
..
annotate.rkt	add the place creation memory use to the memory-log test	2011-09-20 17:15:02 -05:00
colors.rkt	Added online expansion and compilation of files	2011-08-02 16:28:16 -05:00
contract-traversal.rkt	add the place creation memory use to the memory-log test	2011-09-20 17:15:02 -05:00
gui.rkt	clean up the way check syntax handles the various callbacks that tell it	2011-09-27 16:20:47 -05:00
intf.rkt	adjust the interaction between online check syntax and the documentation	2011-09-21 22:53:02 -05:00
local-member-names.rkt	add the place creation memory use to the memory-log test	2011-09-20 17:15:02 -05:00
online-comp.rkt	fix the way that the set of identifiers to rename is calculated so that	2011-09-26 13:00:23 -05:00
traversals.rkt	fix the way that the set of identifiers to rename is calculated so that	2011-09-26 13:00:23 -05:00
xref.rkt	adjust the interaction between online check syntax and the documentation	2011-09-21 22:53:02 -05:00