[PPL-devel] Polyhedra/ oc/user.doxyconf-pdf.in rc/Makefile ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/10/06 00:01:08

Modified files:
	doc            : user.doxyconf-pdf.in 
	src            : Makefile.am Makefile.in 
	test           : Makefile.am Makefile.in bug1.cc bug2.cc user.cc 
Added files:
	src            : ppl.cc 
Removed files:
	src            : PPL.cc 

Log message:
	In file names, URIs and so forth "PPL" is spelled "ppl".