October 2013 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Sun Oct 27 12:48:07 CET 2013
Ending: Tue Oct 29 13:14:48 CET 2013
Messages: 19

• [PPL-devel] [GIT] ppl/ppl(master): Corrected.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Punctuation.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): A couple of corrections.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Improved.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Test renamed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): BenerecettiFM13 has been published.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Label updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Worked around a Doxygen bug.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-1_1-branch): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-1_1-branch): Mark ChangeLog.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-1_1-branch): Update version.   Roberto Bagnara
• [PPL-devel] Parma Polyhedra Library 1.1   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a bug.   Patricia Hill

Last message date: Tue Oct 29 13:14:48 CET 2013
Archived on: Sun Mar 6 09:35:48 CET 2022

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...