1.15 (Development) Version

This is the 1.15 (development) version for Ciao.

You can consult the release notes for this version through the following links:

CiaoDE 1.15-1781-g328b907 (released on 2013-06-12 16:45:13 +0200) can be downloaded through the following source and pre-compiled distributions (including documentation):

Note for Windows users: the setup program must be executed as Administrator. To do this save it first (do not execute it directly), go to the directory where the file was downloaded, right-click over the file, select Run as administrator (in Windows XP, Run as... and then select the user Administrator), and follow the instructions that appear on the screen.

Other platforms: please contact us if your platform is not currently supported and/or you wish us to include pre-packaged binary distributions for it.