Robby Findler e41aa93e6e fix a bug in the event handling that would cause updates ... to the blue box to get missed when it was open via the mouse (as opposed to be tacked open)		2012-08-20 20:30:52 -05:00
..
annotate.rkt	add tooltips at the start and end of arrows indicating how many references	2012-07-30 21:46:22 -05:00
colors.rkt
contract-gui.rkt	fix a bug in the event handling that would cause updates	2012-08-20 20:30:52 -05:00
contract-traversal.rkt	adjust the contract obligation aspect of check syntax	2012-07-17 13:07:41 -05:00
gui.rkt	give the f2 keybinding a more useful name	2012-08-16 19:16:57 -05:00
intf.rkt	fix annotations-mixin for new syncheck interface	2012-08-12 15:50:56 -05:00
local-member-names.rkt
online-comp.rkt
traversals.rkt	adjut check syntax so that it pays attention only	2012-08-14 17:49:52 -05:00
xref.rkt	Add the contents of the "blue boxes" in the docs to the upper-right	2012-08-12 08:41:46 -05:00