log man/lispref/abbrevs.texi @ 4923:8ee3c10d1ed5

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