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...