Ciao 1.9p98 is now available. While still not quite our next 'official' version, this version includes many improvements and bug fixes, so we encourage Ciao users to switch to it. It is now available as source for (Unix and OSX) compilation. We expect to have Windows binaries soon.
------------------- The Ciao (C)LP System Development Team ------------------ | The CLIP Group | School of Computer Science ciao(a)clip.dia.fi.upm.es | Technical University of Madrid http://www.clip.dia.fi.upm.es | SPAIN ----------------------------------------------------------------------------- ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------