Other Versions

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