mailing-list for TeXmacs Users

[Giovanni Piredda <address@hidden>]

On 24/10/23 20:19, Giovanni Piredda wrote:
> For me all of these work with Roman on Linux Ubuntu. By the way very 
> nice shortcuts! I wonder whether anyone else tried them.

I realized that your question was different ... but still I tried also 
the variants and they work too (Roman on Linux Ubuntu). So it would be 
interesting to hear from someone else.

Giovanni