
27 Nov
2005
27 Nov
'05
4:50 p.m.
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@cs.unipr.it