Thu, 11 Jun 2009 23:13:24 +0200 Balazs Dezso Unification of names in heaps (#50)
Thu, 11 Jun 2009 22:16:11 +0200 Balazs Dezso Simplified implementation of bucket heaps (#50)
Thu, 11 Jun 2009 22:11:29 +0200 Balazs Dezso Port remaining heaps from SVN -r 3509 (#50)