[PPL-devel] ppl/doc definitions.dox

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at 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?cvsroot=ppl&r1=1.71&r2=1.72