Re: more bugs in ascii-export, latest cvs

[Jean-Marc Lasgouttes]

>>>>> "Herbert" == Herbert Voss <[EMAIL PROTECTED]> writes:

Herbert> in "short" form as "$a$<enter>$b$<enter>$\times $".

It seems my fix fixed this one too.

JMarc