mailing-list for TeXmacs Users

[address@hidden]

The following is wrongly exported into LaTeX by TeXmacs 1.0.6,
the resulting .tex file does not compile.

<TeXmacs|1.0.6>
 
<style|article>
 
<\body>
  <\hide-preamble>
    \;
  </hide-preamble>
 
  <\proof>
    \;
 
    <\description-compact>
      <item*|x>Let<htab|5mm>
    </description-compact>
 
    \;
  </proof>
</body>
 
<\initial>
  <\collection>
    <associate|info-flag|detailed>
    <associate|language|american>
    <associate|page-medium|papyrus>
    <associate|page-screen-height|1241600tmpt>
    <associate|page-screen-width|998400tmpt>
    <associate|preamble|false>
  </collection>
</initial>

The resulting .tex file follows:

\documentclass{article}
\usepackage{amssymb}
 
%%%%%%%%%% Start TeXmacs macros
\newenvironment{proof}{\noindent\textbf{Proof\ 
}}{\hspace*{\fill}$\Box$\medskip}
%%%%%%%%%% End TeXmacs macros
 
 
 
\begin{document}
 
 
 
\begin{proof}
   
   
  {\noindent}\item[x] Let{\hspace*{\fill}}{\hspace*{\fill}}{\smallskip}
   
   
\end{proof}
 
\end{document}