Module: ppl/ppl Branch: master Commit: a989820a1590c687ad5a1657a3826f04558f8e1e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a989820a1590c...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 19 17:49:07 2011 +0100

Updated to minimize risks when the time of releasing PPL 0.12 will come.

---

NEWS | 30 +++++-- README | 38 ++++---- Watchdog/config.guess | 210 +++++++++++++++++++++-------------------- Watchdog/config.sub | 60 ++++++------ Watchdog/src/Makefile.am | 2 + config.guess | 210 +++++++++++++++++++++-------------------- config.sub | 60 ++++++------ doc/libppl.3 | 8 +- doc/libppl_c.3 | 16 ++-- doc/ppl-config_extra_man_text | 10 +- src/Makefile.am | 7 +- 11 files changed, 340 insertions(+), 311 deletions(-)

Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=a989820a1...