Hi, On Wed, Jun 13, 2012 at 04:47:57PM +0200, Martin Zobel-Helas wrote: > I pointed it to a machine at man-da (Darmstadt) for now. Thank you. We're back now (137.226.34.42). Bye, -- Carsten Otto otto@informatik.rwth-aachen.de LuFG Informatik 2 http://verify.rwth-aachen.de/otto/ RWTH Aachen phone: +49 241 80-21211
Attachment:
signature.asc
Description: Digital signature