local refs

Matthew Fluet fluet@CS.Cornell.EDU
Mon, 10 Dec 2001 14:07:27 -0500 (EST)


> Shall you or I do the change?

I'll do it.  You should be able to check out the change in about 10min.