Re: [Ciao-users] Ciao preprocessor (command line) - Ciao-users

8 Mar 2012


      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
-----------------------------------------------------------------------------