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

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b537ac3b2872c009c0f670867ff36b180bc60d5d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Feb 23 21:01:24 2011 +0100

    Avoid (again) using the same macro name for different purposes.
    Doing it confuses both the reader and Doxygen.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=676839fa3c6c29ffe32b6679f7cc242ed0764d1e
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Feb 23 19:26:18 2011 +0100

    Get rid of LaTeX warnings related to package fancyhdr.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=981f391c6dd52ac09e7c7bd865cb11581bb5947c
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Feb 23 18:32:51 2011 +0100

    Avoid duplicate PDF labels in the configured C interface manuals.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16fc9b1bbb2a713b80dca78ee1d1d7cd42e5eebe
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Feb 23 16:59:33 2011 +0100

    Fixed a duplicate hypertarget error in the generated PDF documentation.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e85e862edc6b516ff51472001c196e55dda05ad1
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Feb 23 14:10:31 2011 +0100

    Avoid using the same macro name for different purposes.
    Doing it confuses both the reader and Doxygen.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2f745cdb383e86868ece38996a39b8ce9c2aa6c
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Feb 23 10:19:21 2011 +0100

    Set INLINE_SOURCES = NO when producing LaTeX documentation.
    
    This change is a workaround to a pdftex + hyperref issue that may result
    in the following error
       \pdfendlink ended up in different nesting level than \pdfstartlink
    when using some versions of Doxygen (e.g., 1.7.3).
    
    According to http://tug.org/errors.html the error is triggered when a
    hyperlink is split across page boundaries and it can be generated even
    by valid LaTeX code. Disabling source inlining is a way to greatly decrease
    its likelihood.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95893a2b2a7e4bbb67e29ccd8acb043a630812a5
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue Feb 22 17:07:35 2011 +0100

    Fixed a couple of Doxygen related problems.