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

[Andrea Cimino]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	cimino at cs.unipr.it	2006-09-28 21:03:52

Modified files:
	src            : LP_Problem.cc LP_Problem.defs.hh MIP_Problem.cc 
	                 MIP_Problem.defs.hh 

Log message:
	Some English inaccuracies fixed.
	Properly renamed also `unsplit()' to `merge_split_variables()'.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroot=ppl&r1=1.35&r2=1.36
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?cvsroot=ppl&r1=1.23&r2=1.24
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsroot=ppl&r1=1.17&r2=1.18
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.defs.hh.diff?cvsroot=ppl&r1=1.12&r2=1.13