Other Versions

Version 1.15

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):
Source (All Platforms)
RPM-based Linux (Fedora, Redhat, Centos, Mandriva)
Debian-based Linux (Ubuntu, XUbuntu, Knoppix)
Windows 2000/XP/Vista/7
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:

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.

Legacy archived versions (Ciao >1.10)

We provide here access to additional archived versions after Ciao 1.10, other than the latest and stable versions. Ciao 1.10 and previous versions can be found below (the distribution mechanism changed after 1.10).

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.

Ciao 1.10#8 (2007/1/28)

  • ciao-1.10p8.tar.gz: Tared, gzipped complete sources for compilation under several Un*x flavors (Linux, SunOS, Solaris, Mac OS X, IRIX, ...) and under Cygwin for Windows 32 (Windows 98, NT, 2000, XP, ...). Please read the INSTALL file for installation instructions (as well as architecture-specific notes and suggestions for porting to currently unsupported platforms).

Other available versions

LPdoc 1.9#58 (2002/4/19)

Other available versions