log man/ilisp.texi @ 142:1856695b1fa9 r20-2b5

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