22 Mar
2008
22 Mar
'08
10:32 a.m.
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...