log

age author description
Mon, 07 Jul 2003 23:02:25 +0000 diego -overlapsub clarified (thanks, Rich), -nooverlapsub removed (redundant)
Mon, 07 Jul 2003 17:12:45 +0000 alex warning fixes