CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2008-10-10 21:31:08

Added files: devtools : cvs2cl.pl update_ChangeLog

Log message: Machinery to automatically update the ChangeLog files.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/cvs2cl.pl?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/update_ChangeLog?cvsr...