log man/lispref/numbers.texi @ 790:755d0acc05ea

age author description
Mon, 13 Aug 2007 11:36:19 +0200 cvs Import from CVS: tag r21-2-37 r21-2-37