:- use_package(assertions).

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

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

:- comment(module,"@include{INSTALL-Win32.lpdoc}"). 

main.

:- comment(version_maintenance,dir('../../version')).

:- comment(version(1*5+92,2000/03/28,17:41*25+'CEST'), "Installation
   now creates a file @tt{ForEmacs.txt} containing the line to be
   included in the @file{.emacs} file. Installation instructions now
   reflect this.  (Manuel Hermenegildo)").


