I have now removed the old CVS tree. The log messages still go to the ps.cvs news group, I don't know if we should add a gecode.cvs news group or archive the messages in any other way. Guido -- Guido Tack Programming Systems Lab http://www.ps.uni-sb.de/~tack