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... Apologies, JoachimReceived on Fri Jun 25 2010 - 02:26:09 CEST
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET