On Fri, 4 May 2007, Ignacio Diaz-Emparanza wrote:
The Spanish manual is very outdated now and I have no much time
in these days to do this work. I think it would be better to
deactivate the Spanish option of the manual in the gretl
settings (at least temporarily) so that the spanish users obtain
the default english manual which is very much updated.
OK, I'll do that.
Allin.