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.3.0 : Wed Sep 25 2024 - 15:13:20 CEST