
3 Nov
2008
3 Nov
'08
7:47 p.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2008-11-03 19:47:14
Modified files: interfaces : interfaced_boxes.hh marked_pointers.hh
Log message: Comments improved.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/interfaced_boxes.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/marked_pointers.hh....