bugGNU TeXmacs - Bugs: bug #60544, TeXmacs ignores numbering...


You are not allowed to post comments on this tracker with your current authentication level.

bug #60544: TeXmacs ignores numbering configurations after conversion to LaTeX

Submitter:  Aeh9quu9 <ohnie0ai>
Submitted:  Fri 07 May 2021 02:31:30 PM UTC
Category:  Conversion Priority:  3 - Low
Item Group:  Error Status:  Postponed
Privacy:  Public Assigned to:  vdhoeven
Originator Name:  Open/Closed:  Open
Release:  None Release:  1.99.20
Fixed Release:  None Fixed Release: 

Sat 29 May 2021 10:12:22 PM UTC, comment #2: 

Numbering seems easy to achieve: TeXmacs is already producing commands like


It suffices to modify it to

\newtheorem{corollary}{Corollary}[section] % appears for the first time
\newtheorem{proposition}[corollary]{Proposition} % use the same counter with corollaries

The solution I perceive look like this: for each group, TeXmacs produces a "virtual theorem" like


And then, for each theorem environment in grpA, use


This does not seem to conflict with other style files?

Aeh9quu9 <ohnie0ai>
Sat 29 May 2021 01:01:52 PM UTC, comment #1: 

This kind of options do not necessarily work the same way in TeXmacs and LaTeX (I guess that they may conflict with certain style files from publishers).

This is why we do nothing for the moment.  It would be nice to improve this indeed, but I don't think that it is a very urgent issue.

Joris van der Hoeven <vdhoeven>
Group administrator
Fri 07 May 2021 02:31:30 PM UTC, original submission:  
Aeh9quu9 <ohnie0ai>


(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

No files currently attached


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -email is unavailable- added by vdhoeven (Posted a comment)
  • -email is unavailable- added by ohnie0ai (Submitted the item)

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.


    Follow 3 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2021-05-29 vdhoeven Priority5 - Normal 3 - Low
    2021-05-29 vdhoeven StatusNone Postponed
        Assigned toNone vdhoeven

    Back to the top

    Powered by Savane 3.12