mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

> What CVS do not give is the difference between the current english
> version of the document and the version which was used to write this
> translation.
> 
> Maybe it would just be enough to write down the revision number or the
> orginal document in the translated document.
> 
> To this end, it would be useful to include '$Revision$' keywords in
> documents, within an appropriate environment. I think '$Name$' keywords
> would also make it easier to navigate through the documentation
> hierarchy.
> 
> So, is it okay?

Yes, I can provide such markup.
We mainly need "tmdoc-revision" or "tmdoc-version";
we already do have "tmdoc-title", which should be used as
a comprehensive name (a short name is included in the filename itself).