log man/texinfo.tex @ 73:e2d7a37b7c8d

age author description
2007-08-13 cvs Import from CVS: tag r20-0b30 r20-0b30
2007-08-13 cvs Import from CVS: tag r19-16b91 r19-16b91
2007-08-13 cvs Import from CVS: tag r19-15b98 r19-15b98
2007-08-13 cvs Import from CVS: tag r19-14 r19-14