CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2005-03-24 11:29:33 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Comments concerning the widening and extrapolation predicates changed so as to state explicitly that the polyhedron referenced by the 1st handle must contain the polyhedron referenced by the second handle. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inter...