mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Thu, Sep 14, 2006 at 04:32:44PM +0200, address@hidden wrote:
> 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.

Thanks for reporting this bug. I corrected it for the next version.

> The thing forgotten is:
> 
> \newtheorem{conjecture}{Conjecture}
> 
> P.S. There are also other bugs in LaTeX export.

Please report them.

Best wishes, Joris