Robby Findler 5e51b7f335 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) ... closes PR 11357		2010-12-16 16:12:51 -06: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	started a test suite for the check syntax coloring annotations that the contract system leaves behind	2010-09-04 11:18:38 -05:00
gui.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
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	check syntax: sort the identifiers (but this time without a bug...)	2010-12-04 18:40:47 -06:00