mailing-list for TeXmacs Users

["Emile L" <address@hidden>]

I have imported an HTML page in texmacs (1.0.7.19-x11-i386 linux). When I
export the obtained tm file in LateX, I get the command \color{dark cyan} at
several places in the TeX file that pdflatex cannot handle.

The only colorss defined in the generated TeX file are :

\definecolor{grey}{rgb}{0.75,0.75,0.75}
\definecolor{orange}{rgb}{1.0,0.5,0.5}
\definecolor{brown}{rgb}{0.5,0.25,0.0}
\definecolor{pink}{rgb}{1.0,0.5,0.5}

There is no definition for dark cyan.