mailing-list for TeXmacs Users

[Michèle Garoche <address@hidden>]

Hello Joris,

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

> > Ait appears that the files
> > within the tree differs from the ones I see when I load the online
> > documentation from texmacs.

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 :-).

Michèle