1. 2013-04-19 Re: [Soot-list] Truncating the search in Heros? soot-list Bodden, Eric 2. 2013-04-11 [Soot-list] Truncating the search in Heros? soot-list Marc-André_Laverdi