CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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?cvsro...