[PPL-devel] ppl doc/definitions.dox src/Polyhedron.defs.hh
Enea Zaffanella
zaffanella at spartacus.cs.unipr.it
Tue Jun 25 12:00:11 CEST 2002
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at cs.unipr.it 2002-06-25 12:00:11
Modified files:
doc : definitions.dox
src : Polyhedron.defs.hh
Log message:
In the widening and poly-difference comments, using the \anchor doxygen
command to link to a specific paragraph of the introduction.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&r1=1.76&r2=1.77
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.128&r2=1.129
More information about the PPL-devel
mailing list