:- use_package(assertions).

:- doc(filetype, application).

:- doc(title,"The Ciao engine"). 

:- doc(module,"
   @begin{note}
   Eventually, this should contain a description of the engine, as a
   chapter of the Reference Manual.
   @end{note}

   NOTE: After Ciao v0.8 and before switching to SVN and Git, changes
   to the engine C files where documented in the
   @tt{Manifest/GlobalChangeLog} file.
").
