I downloaded the ciao devel version 1.5 from here http://ciao-lang.org/download_latest.html .

After installing I can't find Ciao Preprocessor as described here :
http://ciao-lang.org/docs/master/328b9072c080da7a9557cafe16df8d80330623c0/CiaoDE-1.15-1781-g328b907_ciaopp.html/ciaopp_ref_man.html



Thanks.


Sent with ProtonMail Secure Email.