bugGNU TeXmacs - Bugs: bug #63320, Macro redefinitions are not...

 
 

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

bug #63320: Macro redefinitions are not exported into LaTeX

Submitter:  Aeh9quu9 <ohnie0ai>
Submitted:  Sat 05 Nov 2022 01:34:44 PM UTC
   
 
Category:  Conversion Priority:  5 - Normal
Item Group:  Error Status:  None
Privacy:  Public Assigned to:  None
Originator Name:  Open/Closed:  Open
Release:  None Release:  2.1.2
Fixed Release:  None Fixed Release: 
Keywords: 

Thu 05 Jan 2023 11:15:28 PM UTC, comment #1: 

I can reproduce this.

However I think that this is just undefined behavior. A workaround is to remove the TeXmacs macros all together and write the latex equivalent by hand. I actually have this in my default starting file:


<specific|latex|% !!!!end[TeXmacs][preamble]>

\;

<specific|latex|% !!!!begin[LaTeX][document]>

<specific|latex|\\documentclass[a4paper,10pt,intlimits,sumlimits]{amsart}>

<specific|latex|\\usepackage{my-texmacs}>


and in the exported LaTeX file I just remove all the lines before the line


<specific|latex|% !!!!end[TeXmacs][preamble]>


and I have a separate my-texmacs.sty file where I manually include all relevant macros. I just copy-paste from the exported file (once) the macros I think are correct and write the others by hand.

Gennady Uraltsev <guraltsev>
Sat 05 Nov 2022 01:34:44 PM UTC, original submission:  

A sample code is attached. The redefined \dfn is not exported into LaTeX.

Aeh9quu9 <ohnie0ai>

 

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

Attached Files
file #53930:  test3.tm added by ohnie0ai (401B - text/x-texmacs.doc)

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by guraltsev (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.

     

    Follows 1 latest change.

    Date Changed by Updated Field Previous Value => Replaced by
    2022-11-05 ohnie0ai Attached File- Added test3.tm, #53930

    Back to the top

    Powered by Savane 3.12