log man/ilisp.texi @ 72:b9518feda344 r20-0b31

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