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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jul 12 11:15:18 2009 +0200

Updated.

---

INSTALL | 17 ++++++++-- Watchdog/INSTALL | 17 ++++++++-- Watchdog/compile | 17 +++++---- Watchdog/config.guess | 40 ++++++++++++++++++++-- Watchdog/config.sub | 19 ++++++++--- Watchdog/depcomp | 87 +++++++++++++++++++++++++++++++++++------------- Watchdog/install-sh | 5 ++- Watchdog/missing | 49 ++++++++++++++++----------- Watchdog/mkinstalldirs | 5 ++- compile | 17 +++++---- config.guess | 40 ++++++++++++++++++++-- config.sub | 19 ++++++++--- depcomp | 87 +++++++++++++++++++++++++++++++++++------------- install-sh | 5 ++- missing | 49 ++++++++++++++++----------- mkinstalldirs | 5 ++- 16 files changed, 344 insertions(+), 134 deletions(-)

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