Robby Findler 6704346db1 adjust the bluebox record-keeping code so that if there ... is no bluebox information, then we can just bypass updating it on insertions (especially important when loading a big file into drracket, as there is a lot of insertion but no blue boxes (yet))		2012-11-11 08:53:12 -06:00
..
annotate.rkt	add tooltips at the start and end of arrows indicating how many references	2012-07-30 21:46:22 -05:00
blueboxes-gui.rkt	adjust the bluebox record-keeping code so that if there	2012-11-11 08:53:12 -06:00
colors.rkt
contract-traversal.rkt	adjust the contract obligation aspect of check syntax	2012-07-17 13:07:41 -05:00
gui.rkt	streamline the objects that are sent across the channel from	2012-10-31 16:52:44 -05:00
intf.rkt	fix annotations-mixin for new syncheck interface	2012-08-12 15:50:56 -05:00
local-member-names.rkt	Big newline at EOF scan.	2012-02-29 00:28:11 -05:00
online-comp.rkt	streamline the objects that are sent across the channel from	2012-10-31 16:52:44 -05:00
traversals.rkt	Adjust online check syntax's trace replay code so that it:	2012-10-26 21:49:45 -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