:- use_package(assertions).

:- comment(filetype, part).

:- comment(title,"PART I - The program development environment").

:- comment(author, "Manuel Carro").

:- comment(module,"@include{DevEnv.lpdoc}").
%% --------------------------------------------------------------------------- 
:- comment(version_maintenance,dir('../../version')).
%% --------------------------------------------------------------------------- 
