CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/06/13 16:29:01 Modified files: src : interface.cc Log message: I just made some experiment: please ignore.