[Texmacs-dev] Important notice for contributors to texmacs-doc

[Joris van der Hoeven]

Hi *,

After the problems we have had with Savannah, I have decided to
put the TeXmacs documentation on the CVS server of texmacs.org.
So all contributors will need a new password (you also would have
had to do something to work with the new savannah site anyway).
The procedure to follow has already been the object of a previous
message; I will put it on our web-site soon too.

Best wishes and happy end of the year,

Joris