This page has moved to http://www.cs.huji.ac.il/labs/cglab/papers/texsyn/