[PPL-devel] ppl/doc definitions.dox ppl.sty

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2005-11-03 15:21:06

Modified files:
	doc            : definitions.dox ppl.sty 

Log message:
	Added a draft new section on
	"Integers Represented by Floating Point Numbers".
	This contains results that are needed to prove the correctness
	of our implementation of the GCD and LCM operations.
	(Joint work with Alessandro Zaccagnini and Abramo Bagnara.)

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&r1=1.173&r2=1.174
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl.sty.diff?cvsroot=ppl&r1=1.21&r2=1.22