On Sat, 12 Feb 2000, Thomas A. Bryan wrote: > I'm also hoping that *someone* starts working on Trove again. The Official Eric Response (last I heard) was that Trove is dead, and what's left will be folded into sourceforge as a better searching tool. -- Moshe Zadka <mzadka at geocities.com>. INTERNET: Learn what you know. Share what you don't.