:- use_package(assertions).

:- doc(filetype, documentation).

:- doc(title,"Installing Ciao from a Win32 binary distribution").

:- doc(author,"Daniel Cabeza").
:- doc(author,"Manuel Carro").
:- doc(author,"Manuel Hermenegildo").

:- doc(module,"@include{InstallCiaoWin32.lpdoc}"). 


