Mitch Bradley wrote: > Ivan's login problem: nondeterministic, Ivan hopes to make > progress tonight. This is now fixed. -- Ivan Krstić <krstic at solarsail.hcs.harvard.edu> | GPG: 0x147C722D