8 Mar
2012
8 Mar
'12
12:04 p.m.
Hi Peter, CiaoPP is not currently being included by default in the installers, you access it instead via the repo. To access the repo it is enough to ask us for it and join our testers list. We will go ahead and do this if you agree.
--
----------------------- The Ciao System Development Team --------------------
The CLIP Group | Technical University of Madrid
ciao(a)clip.dia.fi.upm.es | IMDEA Software Institute
http://www.ciaohome.org / http://www.cliplab.org
-----------------------------------------------------------------------------