[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=223fd2c798b1476d3bcca1a311c99990e9df3ccd
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Feb 24 09:38:19 2012 +0100

    Delimit pseudo-code in non-Doxygen comments within <CODE> </CODE>.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91385ebcf63053e0a648a03e87aca586347cbc8e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Feb 24 09:36:40 2012 +0100

    Delimit pseudo-code in Doxygen comments within <CODE> </CODE>.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2da2d0f8f30442768c4702f969f739dde916b6d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Feb 24 09:33:00 2012 +0100

    Comment improved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f52a31d61c17aa70ae91544c5b9ac5f889008726
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Feb 24 09:32:02 2012 +0100

    Delimit pseudo-code in non-Doxygen comments within <CODE> </CODE>.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52fe00dd2c217c09f107286860e308d318a942c2
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Feb 24 09:30:49 2012 +0100

    Comment improved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=267192b3529109ebdd2327c3ba70b782a3ca165f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Feb 24 09:30:28 2012 +0100

    Comments improved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c91de8d4cae1d6d0bc68fc703fae0c553411af2c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Feb 24 09:30:10 2012 +0100

    Delimit pseudo-code in non-Doxygen comments within <CODE> </CODE>.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37a29dcd0c523dc25e9bb63107681844c93b762b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Feb 24 09:29:35 2012 +0100

    Comment improved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f874d7e44a235c00d8b29db71f0f590c61badcd9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Feb 24 09:24:31 2012 +0100

    Delimit pseudo-code in non-Doxygen comments within <CODE> </CODE>.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a576ab2ae6abfeec793a8b64783c2426b975a51
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Feb 24 09:23:35 2012 +0100

    Comment improved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d706287150dc89d7abeb4585c7dfbd37adb5f89
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Feb 24 09:19:43 2012 +0100

    Delimit example code in non-Doxygen comments within <CODE> </CODE>.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e97c62dec8e2c8ea70e9e663cfa96d5ebdcb311
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Feb 24 09:19:09 2012 +0100

    Comments fixed/improved.