CVSROOT: /usr/local/cvsroot/pma2000
Module name: Polyhedra
Changes by: ericci(a)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.
