Dear all, ftp.halifax.rwth-aachen.de will be upgraded to a new machine[1] in the following days. In this process we will also start using a new IP address. Could you grant access to stage for 137.226.34.42? The old address is still in use. Thanks, -- Carsten Otto otto@informatik.rwth-aachen.de LuFG Informatik 2 http://verify.rwth-aachen.de/otto/ RWTH Aachen phone: +49 241 80-21211