[PPL-devel] Prolog docs

[Roberto Bagnara]

Samir Genaim wrote:
>> which version of the PPL are you referring to?  In the CVS repository
>> we have the following:
> 
> 
> ppl-0.7, I have download it few weeks ago.
> 
> The documentation that I have, also on-line documentation, says 
> "Handle_1  is included in or equal ... to Handle_2" and not as you have 
> in the CVS  repository "Handle_2 is included in or equal ... to 
> Handle_1", i.e,  Handle_1 and Handle_2 are exchanged.

OK: it has already been fixed then.  The documentation will be OK
for PPL 0.8 (to be released by the end of January 2006).
Thanks for the report.
Cheers,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it