Subject: mailing-list for TeXmacs Users
List archive
From : Nefton Pali <address@hidden>- To: address@hidden
- Subject: Re: pertinent counting
- Date: Mon, 26 Feb 2024 16:49:15 +0100
- Authentication-results: smtps.u-psud.fr; auth=pass smtp.mailfrom=address@hidden
- Dkim-filter: OpenDKIM Filter v2.11.0 smtp-out-1.di.u-psud.fr 4Tk4mg69rSzkQ82
- Ironport-hdrordr: A9a23:EbhutK+pOLu/hfRy3TRuk+AuI+orL9Y04lQ7vn2ZKSY/TiXqra GTdZMgpGTJYVcqKRUdcL+7VZVoLUmsl6KdpLNhWItKPzOLhILLFutfBOLZqlXd8m/Fh41gPM xbHZSWZueRMbE3t6nHyTj9KMw4yN2LtIijmOfZyB5WPHlXQpAl1B1hAgKXVnVrSBVLQbo1fa DsgPZvln6aY20easn+PHUfQOTZzue7867OUFo9HhYi5U20gSm17aOSKWng4isj
From Edit->Preferences->I have multiple tree options and none give European numbering style
I am on Mac OS using the latest version of Texmacs
Le 26/02/2024 à 16:23, Giovanni Piredda a écrit :
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, From
Nefton
- why : (delayed (lazy-keyboard-force) …, vincent douce, 02/20/2024
- Re: why : (delayed (lazy-keyboard-force) …, Giovanni Piredda, 02/20/2024
- pertinent counting, Nefton Pali, 02/26/2024
- Re: pertinent counting, Giovanni Piredda, 02/26/2024
- Re: pertinent counting, Nefton Pali, 02/26/2024
- Re: pertinent counting, Giovanni Piredda, 02/26/2024
- Re: pertinent counting, Nefton Pali, 02/26/2024
- Re: pertinent counting, Giovanni Piredda, 02/26/2024
- pertinent counting, Nefton Pali, 02/26/2024
- Re: why : (delayed (lazy-keyboard-force) …, Giovanni Piredda, 02/20/2024
Archive powered by MHonArc 2.6.24.