Dear ciao-users,
we have put in the Ciao webpage (http://www.clip.dia.fi.upm.es/Software/Ciao/) a new patch (patch 7) to Ciao 1.10. This corrects the behavior of Ciao in some modern Linux kernels, where memory management has changed somewhat, affecting Ciao (and also other applications). Some users may have experienced "segmentation violation" messages on startup due to this. We hope these problems are solved with the update. Please let us know of any problem you may find.
We would like to take this opportunity to let you all know that, although we have chosen to keep the 1.10 distribution stable for a while, publising only bug fixes, in the meantime there has been continued and very intense activity on many parts of the system, adding a long list of features and libraries, which we hope will be of interest, as well a number of bug fixes.
We will be releasing a beta version (probably a beta for 1.13) so that those interested can try things out ahead of the next stable release.
============================================================================== 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/ -----------------------------------------------------------------------------