At 02:36 PM 08/22/2002 -0400, Jim Fulton wrote: >And, thus, for now, use of the Python sources from the Python CVS? I'm not keen on having to maintain 1) a separate build for Z3 work, and 2) having *two* CVS systems to track. It's tough enough tracking Z3 CVS without tracking Python CVS too.