Chronological Thread 

< Chronological >      < Thread >

---

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

---

• 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

---

Archive powered by MHonArc 2.6.24.