mailing-list for TeXmacs Users

[Giovanni Piredda <address@hidden>]

From the context menu, Preferences -> European numbering style

On 26/02/24 15:36, Nefton Pali wrote:
> Hello every one.
>
> Do you know how to count definitions with definitions, lemmas with 
> lemmas, theorems with theorems in Texmacs?
>
> Best wishes,
>
> Nefton