CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-11-04 11:26:08

Modified files: doc : devref.tex gpl.dox user.tex

Log message: Substituted every occurrence of `ppl' or `Parma Polyhedra Library' with `purrs' or `Parma University's Recurrence Relation Solver'.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/devref.tex.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/gpl.dox.diff?cvsroot=pur... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/user.tex.diff?cvsroot=pu...