Ryan Culpepper 7ad04446f4 macro-stepper: made syntax display faster, esp for early terms ... calculate arrows etc wrt known binders instead of all binders svn: r16416 original commit: e273dae9b1de1d3ade2d29ee07da894fd42e91ad		2009-10-22 22:00:49 +00:00
collects	macro-stepper: made syntax display faster, esp for early terms	2009-10-22 22:00:49 +00:00