
21 Sep
2006
21 Sep
'06
6:12 p.m.
Sebastian Pop wrote:
Enea Zaffanella wrote:
CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@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@cs.unipr.it