CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci at sandbox.cs.unipr.it 01/09/30 11:27:04 Modified files: src : Polyhedron.cc Log message: Modify operator <=: now, it does not modify the two polyhedrons. Added some comments in widening_assign(...). Little changes in comments.