[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] RE: TeXmacs+Axiom
From: |
Bill Page |
Subject: |
[Axiom-developer] RE: TeXmacs+Axiom |
Date: |
Mon, 21 May 2007 16:58:57 -0400 |
Ralf,
On May 21, 2007 4:40 PM you wrote:
> ...
> > Can you tell me what you get if you just start tm_axiom
> > on the console? E.g.
> >
> > $ /usr/lib/TeXmacs/bin/tm_axiom
> >
> > Reply to the weird looking prompt with an Axiom command,
> > e.g. 1+1
> >
>
> Eh? To what prompt?
>
There should be something like:
... $\rightarrow$ <verbatim:
>
> woodpecker:~>type axiom
> axiom is hashed (/home/hemmecke/software/Axiom/mnt/linux/bin/axiom)
> woodpecker:~>type AXIOMsys
> AXIOMsys is /home/hemmecke/software/Axiom/mnt/linux/bin/AXIOMsys
I whould have said
~> which axiom
~> which AXIOMsys
but that's ok.
> woodpecker:~>/usr/lib/texmacs/TeXmacs/bin/tm_axiom
> verbatim:
> latex:\red Unexpected end\black5woodpecker:~>
>
>
> I am getting back to the command line prompt. No axiom
> session started.
>
Well, there's the problem ... This is not the fault of
TeXmacs but something wrong with the way tm_axiom is trying
to start AXIOMsys. We have to find out why.
What happens when you just type?
~> AXIOMsys
Regards,
Bill Page.
- TeXmacs+Axiom was: Re: [Axiom-developer] New blood in Axiom, (continued)
- TeXmacs+Axiom was: Re: [Axiom-developer] New blood in Axiom, Ralf Hemmecke, 2007/05/20
- RE: TeXmacs+Axiom was: Re: [Axiom-developer] New blood in Axiom, Bill Page, 2007/05/20
- Re: TeXmacs+Axiom was: Re: [Axiom-developer] New blood in Axiom, Ralf Hemmecke, 2007/05/20
- [Axiom-developer] RE: TeXmacs+Axiom, Bill Page, 2007/05/20
- Re: [Axiom-developer] RE: TeXmacs+Axiom, Gabriel Dos Reis, 2007/05/20
- Re: [Axiom-developer] RE: TeXmacs+Axiom, Ralf Hemmecke, 2007/05/21
- [Axiom-developer] Re: TeXmacs+Axiom, Martin Rubey, 2007/05/21
- [Axiom-developer] RE: TeXmacs+Axiom, Bill Page, 2007/05/21
- [Axiom-developer] Re: TeXmacs+Axiom, Ralf Hemmecke, 2007/05/21
- [Axiom-developer] Re: TeXmacs+Axiom, Martin Rubey, 2007/05/21
- [Axiom-developer] RE: TeXmacs+Axiom,
Bill Page <=
- [Axiom-developer] Re: TeXmacs+Axiom, Martin Rubey, 2007/05/21
- [Axiom-developer] Re: TeXmacs+Axiom, Ralf Hemmecke, 2007/05/21
- [Axiom-developer] Re: TeXmacs+Axiom, Martin Rubey, 2007/05/22
- [Axiom-developer] Re: TeXmacs+Axiom, Ralf Hemmecke, 2007/05/22
- [Axiom-developer] Re: TeXmacs+Axiom, Martin Rubey, 2007/05/22
- [Axiom-developer] RE: TeXmacs+Axiom, Bill Page, 2007/05/21
- Re: [Axiom-developer] RE: TeXmacs+Axiom, Alasdair McAndrew, 2007/05/21
- RE: [Axiom-developer] RE: TeXmacs+Axiom, Bill Page, 2007/05/21
- RE: [Axiom-developer] RE: TeXmacs+Axiom, C Y, 2007/05/22
- Re: [Axiom-developer] RE: TeXmacs+Axiom, Martin Rubey, 2007/05/22