--- "Andrey G. Grozin" <A.G.Grozin@inp.nsk.su> wrote:
> Hello *,
>
> On Wed, 1 May 2002, C Y wrote:
> > So in the
> > TeXmacs-1.0.0.3-src/misc/scripts/tm_maxima file, change the line
> >
> > exec maxima -load "$TEXMACS_MAXIMA_PATH/texmacs.lisp" |
> maxima_filter
> >
> > to
> >
> > exec maxima -p "$TEXMACS_MAXIMA_PATH/texmacs.lisp" | maxima_filter
> >
> > and recompile.
> No need to recompile anything, editing tm_maxima is enough.
>
> Also, it should be possible to simplify texmacs.lisp, because many
> changes were incorporated into mactex.lisp. But the interface still
> has a lot of problems. The main problem is: how to recognize prompts?
> Especially the break prompt (MAXIMA>> in gcl) and the prompt
generated
> by info (or was it help, or describe? don't remember). They are
> produced by the underlying Lisp, and different for different Lisps. I
> suppose, other interfaces, e.g., Emaxima, have solved these problems
> somehow.
You'll have to ask Jay about Emaxima, but you have a good point. The
interface setup is a bit odd, and a better GUI after 6.0 will most
likely have to address the same problems. Have you formed any thoughts
about what the ideal setup would be to address these problems?
> I'm waiting for 5.9 to appear. Then, I'll change tm_maxima and
> texmacs.lisp in the TeXmacs distribution, and I'll try to incorporate
> useful bits and ideas from Emaxima. But after that moment, nobody
> will be able to call maxima-5.6 (or 5.5) from TeXmacs.
I didn't mean to imply that the change should be made yet, I was just
posting it so anyone working with cvs maxima could still use TeXmacs
without having to track it down themselves. Sorry if I got the cart
ahead of the horse.
> > It should now work, except for the problem that the feedback saying
> > the texmacs.lisp file is loaded appears in TeXmacs. Anyone know a
> > way to avoid that?
> No idea. Is it really important?
Only for a clean startup, but in any case it looks like Jim's got it
under control.
CY
__________________________________________________
Do You Yahoo!?
Yahoo! Health - your guide to health and wellness
http://health.yahoo.com