Hello, We had some sync issues a while back but they have been resolved and we would like to become an official mirror again. Thanks, ---Bob. -- Bob Hoffman Director of Operations Department of Computer Science University of Pittsburgh 6205 Sennott Square Pittsburgh, PA 15260 Tel: +1 412 624 8404 Fax: +1 412 624 8854 hoffman at pitt.edu