Thu, 30 Mar 2006 15:34:56 +0000tolerance class incorporated
jacint [Thu, 30 Mar 2006 15:34:56 +0000] rev 2024
tolerance class incorporated

Thu, 30 Mar 2006 15:02:11 +0000Unionfind changes induced some bugs here. Also some augmentations made.
jacint [Thu, 30 Mar 2006 15:02:11 +0000] rev 2023
Unionfind changes induced some bugs here. Also some augmentations made.

Thu, 30 Mar 2006 09:42:05 +0000docfix
alpar [Thu, 30 Mar 2006 09:42:05 +0000] rev 2022
docfix