CVSROOT: /usr/local/cvsroot/pma2000
Module name: Polyhedra
Changes by: roberto(a)sandbox.cs.unipr.it 01/10/08 11:05:50
Modified files:
src : Makefile.am
Log message:
Use kgcc for the final step of the generation of ppl.hh.
This makes us dependent on kgcc. For instance, if you are
running RedHat 7.1 you must have the package compat-egcs-6.2-1.1.2.14
installed.
See http://www.cs.unipr.it/pipermail/ppl-devel/2001-October/000281.html
for more on this.
CVSROOT: /usr/local/cvsroot/pma2000
Module name: Polyhedra
Changes by: ericci(a)sandbox.cs.unipr.it 01/10/08 10:28:51
Modified files:
src : Polyhedron.cc
Log message:
Some changes in the comments of the function OK().
