[PPL-devel] [GIT] ppl/ppl(floating_point): New commits

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61e9682521aecc91a64f70db0529deaa4ff1a01a
Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Thu Sep 10 12:15:14 2009 +0200

    Fixed one small error.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc2e838dcecf1e6a92dc04787f99f8ee6bf109c8
Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Thu Sep 10 12:06:05 2009 +0200

    Fixed another inconsistency in the documentation.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f90f4982a46557145d0b94135b193018210b5fd5
Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Thu Sep 10 12:02:54 2009 +0200

    Fixed conflicts.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ffba415ba265fce9fca447cdeae490182c02ee6
Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Thu Sep 10 11:49:44 2009 +0200

    Fixed an inconsistency with the rest of the documentation.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b975207fee47ac28f5a5dbdb7a153dcab48dfe42
Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Thu Sep 10 11:38:06 2009 +0200

    Fixed a few errors.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=665f8e9f3e12ac778dcc1cf2f41fd5afb1a8b5f8
Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Thu Sep 10 11:27:10 2009 +0200

    Added missing \brief marker.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=963be409b51e7fd4d5382b0ba10b256232a94d8a
Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Thu Sep 10 11:16:06 2009 +0200

    Use \otimes only in math environment.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aed91f8a35dec22bd585e0f58c75f7f06804587a
Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Thu Sep 10 11:12:22 2009 +0200

    Revised and corrected the whole documentation.