[PPL-devel] ppl ./CREDITS ./configure.ac src/Integer.defs. ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	altnum
Changes by:	roberto at cs.unipr.it	2004-09-22 16:43:14

Modified files:
	.              : CREDITS configure.ac 
	src            : Integer.defs.hh Integer.types.hh Makefile.am 
Removed files:
	src            : Checked_Integer.defs.hh 
	                 Checked_Integer.inlines.hh 
	                 Checked_Integer.types.hh 

Log message:
	Commit to the new implementation of checked numbers.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.8.2.2&r2=1.8.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.114.2.6&r2=1.114.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.11.2.4&r2=1.11.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.types.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.8.2.4&r2=1.8.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.70.2.9&r2=1.70.2.10
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Integer.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.5&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Integer.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.6&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Integer.types.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.2&r2=NONE