mailing-list for TeXmacs Users

[Kostas Oikonomou <address@hidden>]

Hi Enrique,

Thanks for the contribution.

With respect to the double prompt issue, I had the same 
problem, that the plugin that comes with TeXmacs 1.0.7.2 
doesn't quite work.  I resolved this by switching to 
OpenAxiom, http://open-axiom.sourceforge.net/index.html.
This is a fork of "classic" Axiom, that is much easier to 
compile on Unix (I use OpenSolaris and SBCL), and may have 
other advantages as well.  OpenAxiom issues a single prompt, 
and the TeXmacs plugin works fine with that.

I tried your plugin with OpenAxiom, but it wasn't able to 
establish communication. I haven't tracked down why.

Apart from the prompt, there are some more things that the 
old plugin doesn't handle well, and I was starting to work 
on them, so I find your rewritten and commented version 
quite welcome.  Here is a simple example:

factor(3*5*7*11)

apparently produces nonsense, but that is because the 
plugin doesn't recognize the spaces, or whatever TeXform 
outputs to separate the factors.

Another example is "verbatim" output from (Open)Axiom.  I 
can provide more details if you are interested.

Regards,

                        Kostas


Enrique Perez-Terron wrote:
> I have tried again now and then to get a working Axiom and TeXmacs
> combination.  From time to time I read in mailing lists about tricks
> that work for others, but they never worked for me.
>
> I found tm_axiom.c in TeXmacs-1.0.7.2-src.tar.gz, but it was so hard to
> read that I had to partially translate it into more well-known idioms
> and more analizable programming patterns, just to get an idea about what
> it does.  I have not read the corresponding code in texmacs that
> communcates with it, so I do not know what "language" tm_axiom is
> supposed to speak.