[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Texmacs-dev] Re: TeXmacs interface to OpenAxiom
From: |
Gabriel Dos Reis |
Subject: |
Re: [Texmacs-dev] Re: TeXmacs interface to OpenAxiom |
Date: |
Wed, 30 Sep 2009 06:28:10 -0500 |
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