Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-01-02 08:47:14 -0800 (Sat, 02 Jan 1999)
Revision: 2550
Log message:
Fixed some problems with Ensemble.
The closure marshaler was marshaling huge closures containing
Ensemble itself. I think I have fixed this problem.
The performance numbers may change slightly due to a
modification of thread_refiner_null, which now composes
extracts only after an entire proof is done.