- From: Giovanni Piredda <address@hidden>
- To: address@hidden
- Subject: Re: pertinent counting
- Date: Mon, 26 Feb 2024 15:23:26 +0000
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
Archive powered by MHonArc 2.6.24.