Re: [Texmacs-dev] Re: TeXmacs interface to OpenAxiom

[Gabriel Dos Reis]

On Wed, Sep 30, 2009 at 4:22 AM, Joris van der Hoeven
<address@hidden> wrote:
> Dear Bill, Gabriel, Andreay, Kostas, ...,
>
> Please let me know if I have to modify something on the TeXmacs side
> in order to make things work correctly.

Hi Joris,

  I fixed a double prompt issue with OpenAxiom.  I'm waiting for
feedback, then I'll try
to contribute the changes needed to get OpenAxiom and TeXmacs talk correctly.
Many thanks,

-- Gaby