[Texmacs-dev] CVS for TeXmacs-doc

[Joris van der Hoeven]

Hi *,

What about moving the CVS for TeXmacs-doc to texmacs.org?
I repeatly ask for help about getting notifications of changes,
which is quite important for keeping the translations up-to-date,
but it seems that nobody has the time to fix that problem.
I also don't like the fact that all old files get overwritten
when checking out. Well, except if someone has some ideas...

<Joris>