CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2006-01-16 12:11:29

Modified files: src : namespaces.hh

Log message: Document the Checked namespace (for the devref manula only). Specify once and for all in the std namespace documentation that we are specializing numeric_limits and, in particular, we are temporarily doing it also for GMP types.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/namespaces.hh.diff?cvsroot...