Changes by: Jason J. Hickey (jyh at cs.caltech.edu) Date: 2007-11-06 20:38:44 -0800 (Tue, 06 Nov 2007) Revision: 12585 Log message:
Another attempt at optimization. Small peanuts, for hash-consing symbols.