[PPL-devel] [GIT] ppl/ppl(master): Added several missing \relates and \ingroup Doxygen commands.
Enea Zaffanella
zaffanella at cs.unipr.it
Sun Feb 26 00:28:36 CET 2012
Module: ppl/ppl
Branch: master
Commit: fa1aba6cae22ad32a1f520cb2fce421d0259c3a8
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa1aba6cae22ad32a1f520cb2fce421d0259c3a8
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sun Feb 26 00:27:51 2012 +0100
Added several missing \relates and \ingroup Doxygen commands.
---
src/Checked_Number.defs.hh | 8 +++++++
src/Float.defs.hh | 46 ++++++++++++++++++++-----------------------
src/Interval.defs.hh | 1 +
src/Linear_Form.defs.hh | 2 +-
src/PIP_Tree.defs.hh | 2 +-
src/termination.defs.hh | 28 +++++++++++++-------------
6 files changed, 46 insertions(+), 41 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=fa1aba6cae22ad32a1f520cb2fce421d0259c3a8
More information about the PPL-devel
mailing list