-*- mode:text -*- Time-stamp: "2003-07-07 07:27:09 jemarch"


THANKS!
-------

Many thanks to Juan Garbajosa, Manuel Bollaín, Pedro Pablo Alarcón and
Carlos del Cuvillo for his very valuable help in testing the tool and
his very valuable suggestions. 


--
Jose E. Marchesi <jemarch@gnu.org>


