mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

Thanks; I fixed this bug too. Notice however that the style of the 
descriptions
is not preserved for the export. If someone has time to fix that in the LaTeX
converter, then please do so. At least the current solution does not bug 
anymore.

Best wishes, Joris

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