Joachim Schimpf wrote: > Due to a mix-up with domain name registration, any http://eclipse-clp.org links currently > don't work. You can connect to http://87.230.22.228 instead, which is the IP address of > eclipse-clp.org. We are trying to sort this out, but it could last over the weekend... Please find the ECLiPSe web site now at http://eclipseclp.org (no hyphen). I hope that the old address will also be back in a couple of weeks. Best regards, JoachimReceived on Thu Jul 15 2010 - 13:52:47 CEST
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET