|Source (All Platforms)|
|RPM-based Linux (Fedora, Redhat, Centos, Mandriva)|
|Debian-based Linux (Ubuntu, XUbuntu, Knoppix)|
|Mac OS X (Leopard, Snow Leopard, Lion)|
The manuals for CiaoDE 1.15-1781-g328b907 (released on 2013-06-12 16:45:13 +0200) can be consulted or downloaded through the following links:
|Ciao Manual||Ciao Manual|
|CiaoPP Manual||CiaoPP Manual|
|LPdoc Manual||LPdoc Manual|
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.
Note on version numbering: from Ciao 0.8 on, 'even' versions (e.g., 1.0, 1.4, ...) denote stable distributions, whereas odd versions (e.g., 1.1, 1.5, ...) denote development versions. The latter are typically meant for users who would like to try out new functionality and help us with testing of upcoming versions.