1. 2015-11-17 Re: [fossil-users] FOSSIL SEARCH improvement suggesti fossil-us Michael Keuter 2. 2015-11-17 Re: [fossil-users] FOSSIL SEARCH improvement suggesti fossil-us Tony Papadimitriou 3. 2015-11-17 Re: [fossil-users] FOSSIL SEARCH improvement suggesti fossil-us Tony Papadimitriou 4. 2015-11-17 Re: [fossil-users] FOSSIL SEARCH improvement suggesti fossil-us Michael Keuter 5. 2015-11-17 Re: [fossil-users] FOSSIL SEARCH improvement suggesti fossil-us Richard Hipp 6. 2015-11-17 [fossil-users] FOSSIL SEARCH improvement suggestion fossil-us Tony Papadimitriou