Ryan Culpepper e273dae9b1 macro-stepper: made syntax display faster, esp for early terms ... calculate arrows etc wrt known binders instead of all binders svn: r16416		2009-10-22 22:00:49 +00:00
..
tests	macro-stepper: made syntax display faster, esp for early terms	2009-10-22 22:00:49 +00:00
all-tests.ss
gentest-framework.ss
gentests.ss	macro-stepper: made syntax display faster, esp for early terms	2009-10-22 22:00:49 +00:00
gui-tests.ss
test-setup.ss	macro-stepper: made syntax display faster, esp for early terms	2009-10-22 22:00:49 +00:00