CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: bagnara@cs.unipr.it 2007-02-18 11:37:19 Added files: Watchdog : README.doc Log message: Explains where to find the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/README.doc?cvsroot=pp...