I am using *CiaoDE 1.14.2.* Moreover I installed it by using the mac installer. Do you think that the problem can be this?
Thank you!
Giacoma
On Sun, Jun 2, 2013 at 3:49 PM, <ciao(a)clip.dia.fi.upm.es> wrote:
Dear Giacoma,
thanks for the report, we will look into it as soon possible. To help us reproduce the problem, can you tell us exactly which version of Ciao you are using? Did you install from the source (i.e., .tar.gz) or you used the mac installer (.dmg)?
Cheers,
--
----------------------- The Ciao System Development Team
The CLIP Group | IMDEA Software Institute ciao(a)clip.dia.fi.upm.es | and Technical University of Madrid http://www.ciao-lang.org / http://www.cliplab.org
_______________________________________________ Ciao-mailman mailing list Ciao-mailman(a)clip.dia.fi.upm.es http://clip.dia.fi.upm.es/cgi-bin/mailman/listinfo/ciao-mailman