mailing-list for TeXmacs Users

[Michèle Garoche <address@hidden>]

Le mardi, 15 oct 2002, à 20:11 Europe/Paris, Joris van der Hoeven a 
écrit :

> > Well, I've not well explained it. For example, there is in meta/manual
> > two English files introduction and manual in the cvs tree. I cannot 
> > see
> > a way to get to the introduction file within the online documentation
> > (but I have not explore all the pages :-).
>
> So I should delete one? Which one?

I cannot say if there is one to be deleted. But the manual file should 
not be deleted, for sure.
David could tell it, no?

Michèle