Module: ppl/ppl Branch: bounded_arithmetic Commit: 49c8c1f720132b1b57be77a6aafe3745302d2808 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49c8c1f720132...

Author: Alberto Gioia alberto.gioia1@studenti.unipr.it Date: Thu Jul 14 22:38:21 2011 +0200

More fixes to the documentation.

---

doc/definitions.dox | 82 +++++++++++----------- src/linearize_integer.hh | 176 +++++++++++++++++++++++----------------------- 2 files changed, 129 insertions(+), 129 deletions(-)

Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=49c8c1f72...