Hi All,
Some people are subscribed to several user groups and they need to spot to which user group a certain email belongs.
Therefore I suggest changing the way the emails are delivered in the TeXmacs user group, I propose adding the word "[TeXmacs]" at the beginning of the title of the email, always. That way the people that receive it immediate know where is it coming from.
Thanks,
Daniel Volinski