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.