log man/auctex/auc-tex.texi @ 157:6b37e6ddd302 r20-3b5

age author description
Mon, 13 Aug 2007 09:15:11 +0200 cvs Import from CVS: tag r20-1b2 r20-1b2
Mon, 13 Aug 2007 08:51:03 +0200 cvs Import from CVS: tag r19-15b95 r19-15b95