[PPL-devel] Polyhedra/doc definitions.dox user_definitions ...

[Elisa Ricci]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	ericci at sandbox.cs.unipr.it	01/10/04 09:26:19

Modified files:
	doc            : definitions.dox user_definitions.dox devref.tex 
	                 user.tex 

Log message:
	Now, in user.pdf we only have definitions and theorems of user_definitions.dox
	and in devref.pdf we have those of user_definitions.dox and those of
	definitions.dox.