[PPL-devel] ppl/src LP_Problem.defs.hh

[Roberto Bagnara]

Sebastian Pop wrote:
> Enea Zaffanella wrote:
>> CVSROOT:	/cvs/ppl
>> Module name:	ppl
>> Changes by:	zaffanella at cs.unipr.it	2006-09-21 10:05:24
>>
>> Modified files:
>> 	src            : LP_Problem.defs.hh 
>>
>> Log message:
>> 	Do not let the user assume that we solve the LP Problem by using a fixed
>> 	algorithm (future releases may use a different one).
>>
> 
> Fix some typos in that file.

Thanks, Sebastian.  We use the spelling checker just before release time:
in "normal" development periods ---like the present one--- we concentrate
more on the hard stuff.
All the best,

    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