[Texmacs-dev] changes in the maxima plugin's output?

[Kostas Oikonomou]

Hi,

It seems that TeXmacs 1.0.7.10 parses the maxima plugin's 
output differently than before.

Now TeXmacs inserts (spurious) multiplication signs in some 
places that make the output unusable.  For example, when a 
maxima function returns

c11 = 0.0307894, c12 = 0.0307895,

TeXmacs changes it to

<with|math-font-family|rm|c*11>=.*0307894,<with|math-font-family|rm|c*12>=.*0307895

Perhaps this is connected with the new semantics for math 
mode? Or the maxima plugin has changed?

                                Kostas