Ciao command-line Help

Author(s): The Ciao Development Team, Jose F. Morales.

Formatted help for the ciao and (ciao-boot.bat) command line tool

Usage and interface

Documentation on exports



Show help for the command line interface. Level specifies the detail level and Prof the command line profile (useful when the same command may act in different ways).


Show detailed help on the specified command Cmd (shows help of the command group)

    Documentation on imports

    This module has the following direct dependencies: