Robby Findler 2cb5de9581 added a few more contracts to those that get colored by check syntax ... (and fixed a bug in the helper macros that support the coloring)		2010-08-17 11:41:21 -05:00
..
annotate.rkt	broke things up a little bit more and started in on the new contract traversal	2010-08-07 14:35:02 -05:00
colors.rkt	added in unioning and a bit more coloring; checking in to prepare for some changes to the original check syntax (to support contract obligations better)	2010-08-07 14:35:02 -05:00
contract-traversal.rkt	added a few more contracts to those that get colored by check syntax	2010-08-17 11:41:21 -05:00
gui.rkt	check syntax now remembers the mode it was in last time and uses that next time	2010-08-07 14:35:04 -05:00
intf.rkt	various cleanups, including finishing up the client mode, string constants, and coloring of (known) identifiers	2010-08-07 14:35:03 -05:00
traversals.rkt	improved check syntax's jump-to-definition so it scrolls to a more natural place	2010-08-07 14:35:04 -05:00