CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo at cs.unipr.it 2004-08-11 12:02:28 Added files: src : Result_Info.defs.hh Log message: Result info for checked functions Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Result_Info.defs.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1