[PPL-devel] Polyhedra/ mp-3.1.1/ansi2knr.c mp-3.1.1/config ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/09/07 15:18:44

Modified files:
	gmp-3.1.1      : ansi2knr.c configure.in mkinstalldirs 
	gmp-3.1.1/tests/rand: findlc.c 
	src            : ConSys.cc Matrix.cc Matrix.defs.hh 
	                 Polyhedron.cc Polyhedron.defs.hh SatMatrix.cc 
	                 SatMatrix.defs.hh Status.cc Status.defs.hh 

Log message:
	Obey Koenig's lookup rule.