CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2004-08-05 08:20:13 Modified files: . : TODO Log message: ppl_Polyhedron_maximize, ppl_Polyhedron_maximize_with_point, and ppl_Polyhedron_minimize, ppl_Polyhedron_minimize_with_point have been added to the Prolog interface with corresponding additions to the documentation and pl_check.pl. Todo item on this removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.71&...