[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): More fixes to the documentation.

[Alberto Gioia]

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

Author: Alberto Gioia <alberto.gioia1 at 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=49c8c1f720132b1b57be77a6aafe3745302d2808