mailing-list for TeXmacs Users

[address@hidden]

TeXmacs 1.0.6 wrongly exports to LaTeX texts with conjectures:

Consider the following .tm file:

<TeXmacs|1.0.6>
 
<style|generic>
 
<\body>
  <\conjecture>
    AAA
  </conjecture>
</body>
 
<\initial>
  <\collection>
    <associate|language|american>
  </collection>
</initial>

It is exported to LaTeX as follows:

\documentclass{letter}
 
\begin{document}
 
\begin{conjecture}
  AAA
\end{conjecture}
 
\end{document}

This .tex file does not compile.
The thing forgotten is:

\newtheorem{conjecture}{Conjecture}

P.S. There are also other bugs in LaTeX export.