mailing-list for TeXmacs Users

[Frank <address@hidden>]

Hello,

I attached the TeXmacs file and the generated LaTeX file.

Best wishes,

On 05/08/2019, Basile Audoly wrote:

Hi Frank,

it would help if you could provide a minimal latex file that allows us to reproduce the bug, and describe what is the conflict exactly.

Basile

Le 3 août 2019 à 05:02, Frank <address@hidden> a écrit :

Dear all,

I see that when I use amsart as the document style and include some theorems, texmacs will generate a LaTeX file with document style amsart and loading the package theorem, which results in a conflict. I don't know how to fix it. Thanks for any help.

Best wishes,

-- 
Best wishes!
Yours,

\documentclass{amsart}
\usepackage[english]{babel}
\usepackage{geometry,theorem}
\geometry{letterpaper}

%%%%%%%%%% Start TeXmacs macros
{\theorembodyfont{\rmfamily}\newtheorem{remark}{Remark}}
\newtheorem{theorem}{Theorem}
%%%%%%%%%% End TeXmacs macros

\begin{document}

\begin{theorem}
  thm
\end{theorem}

\begin{remark}
  rmk
\end{remark}

\begin{proof}
  pf
\end{proof}

\end{document}

<TeXmacs|1.99.11>

<style|amsart>

<\body>
  <\theorem>
    thm
  </theorem>

  <\remark>
    rmk
  </remark>

  <\proof>
    pf
  </proof>
</body>

<\initial>
  <\collection>
    <associate|page-height|auto>
    <associate|page-type|letter>
    <associate|page-width|auto>
  </collection>
</initial>