[All bundles]

alldocs

Version: 1.18.0
Manuals: ciao ciao_devel
Source: repository
Dependencies: lpdoc ciaodbg ciao_emacs

General Ciao documentation

This bundle contains manuals that put together the documentation for the Ciao language, implementation, tools, and other relevant bundles.

See Manifest.pl for details.