log man/ilisp.texi @ 138:6608ceec7cf8 r20-2b3

age author description
Mon, 13 Aug 2007 08:47:35 +0200 cvs Import from CVS: tag r19-15b5 r19-15b5
Mon, 13 Aug 2007 08:45:50 +0200 cvs Import from CVS: tag r19-14 r19-14