mailing-list for TeXmacs Users

[Giovanni Piredda <address@concealed>]

Hi Michael,

it might be the copy command itself. But perhaps I did not understand 
your question.

Giovanni

On 10/28/25 17:46, Michael Shea wrote:
> It has been a while since I used TeXmacs. I can't remember if it has 
> this feature or not.
>
> Thanks