[PPL-devel] Polyhedra/src Makefile.am Makefile.in Matrix.c ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/09/19 09:03:59

Modified files:
	src            : Makefile.am Makefile.in Matrix.cc Row.cc 

Log message:
	Be less inclined to conclude that PPL.hh must be rebuilt.
	Still removing the creation of temporaries.
	Other minor improvements.