texmacs-users - pertinent counting

Subject: mailing-list for TeXmacs Users

List archive

From: Nefton Pali <address@hidden>
To: address@hidden
Subject: pertinent counting
Date: Mon, 26 Feb 2024 15:36:38 +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 4Tk39616YYzbvp6
Ironport-hdrordr: A9a23:KiXKRa5kGswmnclpIgPXwD7XdLJyesId70hD6qkQc3dom7+j9v xG+85rsiMc6QxhPE3I9ursBEDtewK/yXcx2/h1AV7AZmXbUQmTRr2KhLGKqwEIWReOldK1vp 0PT0ERMr3N5BRB4vrS0U2CCc8pxNTC2Kq0heHYpk0dNj1CWuVa9R5wDgveKlF7WAUDJZdRLu vk2uN34wG7YHwSY4CACmIbU/OrnaysqLvWJSQeDxorrDKDly+s9dfBYmCl4is=

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