CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-06-20 21:22:08
Modified files:
doc : definitions.dox
Log message:
A few improvements in the first paragraph of the introduction.
Better explained what a preimage is and some chnages to the paragraph on the
DD method.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill(a)cs.unipr.it 2002-06-20 13:50:02
Modified files:
doc : definitions.dox
Log message:
Reordered the bibliography to be alphabetical.
Changed the syntax in Bounded Polyhedra.
Moved Rational Polyhedra to end of section
on representations (it needs the definition of constraint representation).
Comment in Generators Representation wrt this moved to the Rational one.
Small change of wording to Points... paragraph.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill(a)cs.unipr.it 2002-06-20 13:42:43
Modified files:
interfaces/Prolog: Prolog_interface.dox
Log message:
Corrected the grammar rules for Rational and made other changes
related to this.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…
