R. David Murray wrote: > On Thu, 15 Aug 2002, Chris Withers wrote: > >>I see someone just got bit by this again, I knwo there were talks of name >>unification, has any progress been made on these? > > > In Z3, yes. Can you elaborate? cheers, Chris