CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/09/07 19:10:04

Modified files: src : Makefile.am Makefile.in PPL.cc src/BitSet : Makefile.in src/Integer : Makefile.in test : Makefile.in Added files: src : protect.sed restore.sed Removed files: src : PPL.hh

Log message: We need to determine the C++ preprocessor at configuration time. First attempt at the automatic generation of the only header file to be included by the user: PPL.hh.