12 Jan
2013
12 Jan
'13
1:06 p.m.
Dear Ciao users,
We are pleased to announce the new official URL of the Ciao project
(-lang names seems to be the preferred ones for language sites nowadays). All previous URL (http://ciaohome.org, http://cliplab.org/Software/Ciao) will still be working. They are being redirected (HTTP 301) to the new address automatically.
We also plan to change our mailing list to "...(a)ciao-lang.org" addresses as soon as we finish a change of server and server location (following our change to git!) that is all still under way (that is also the reason why the rate of snapshots has been a bit irregular, but we should get back to nightly snapshots soon). Thanks for your patience in the meantime!
-- Jose