CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2008-03-22 10:32:55 Modified files: Watchdog/doc : devref.tex fdl.dox gpl.dox user.tex Log message: Properly named page anchors so as to avoid undefined references in the LaTeX documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/devref.tex.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/fdl.dox.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/gpl.dox.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/user.tex.diff?cvs...