Jim Gettys wrote: > I became happy with the milestones themselves, but not the nomenclature > for them, which I still expressed unhappiness. Oh, okay. I don't care about the names; just let me know to what you want them changed. -- Ivan Krstić <krstic at solarsail.hcs.harvard.edu> | GPG: 0x147C722D