log man/lispref/abbrevs.texi @ 3241:00b86b735c8b

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