Ralf, On May 20, 2007 4:59 AM you wrote: > ... > > Do you think you could fix TeXmacs to fire up HyperDoc? > > The only thing that needs to be changed is the call to > > "AXIOMsys" (Bill said that TeXmacs calls AXIOMsys rather > > than axiom) Maybe it's sufficient to replace "AXIOMsys" > > with "axiom".
No, that is not sufficient. You also have to modify the tm_axiom program to handle the double Axiom prompt. This is described on the Axiom wiki. BTW, I think having TeXmacs start hyperdoc in this way is rather awkward, since the interaction takes place outside of the TeXmacs window but at least by calling axiom you can also get Axiom graphics (which also are presented only outside of TeXmacs). The TeXmacs interface for many of the TeXmacs plug-ins are more sophisticated these days, see for example how TeXmacs works with Maxima. The TeXmacs - Axiom interface is due for a major upgrage. There was some discussion of this on the Axiom-developer list about a year ago or so but I don't recall any mention of more recent work. > > Strange, but I installed the debian etch package of texmacs. Is that version 1.0.6 of TeXmacs? > And under > > /usr/share/texmacs/TeXmacs/plugins/axiom/progs/init-axiom.scm > > it says > > (define (axiom-initialize) > (import-from (utils plugins plugin-convert)) > (lazy-input-converter (axiom-input) axiom)) > > (plugin-configure axiom > (:require (url-exists-in-path? "/usr/bin/axiom")) > (:initialize (axiom-initialize)) > (:launch "tm_axiom") > (:session "Axiom")) > > So I would assume that texmacs calls the right thing. No. The (:require above is just checking that the file /usr/bin/axiom exists. This controls whether you see Axiom listed under the Session memu. It is actually the interface program tm_axiom that starts Axiom. As far as I know the version of tm_axiom distributed with TeXmacs starts AXIOMsys. Note: There is a separate version of tm_axiom for Windows. Check the TeXmacs pages on the Axiom wiki. > > Unfortunately, I've compiled my own Axiom Gold (patch--50) > and I don't know exactly how to call that Axiom. > To use Axiom from TeXmacs AXIOMsys must be in the PATH or you have to modify tm_axiom. > Currently, I've created > ~/.TeXmacs/plugins/axiom/progs/init-axiom.scm > and modified the path to point to my Axiom. An Axiom session > starts, but the first thing I get is > > Unexpected End5 > > (everythinng in read except a black 5). > > And there is an "axiom]" prompt. Unfortunately, the cursor > then is right in the middle of this prompt. > > So I believe Axiom Gold does not work together with TeXmacs. > Other experiences? Any cure? > That the kind of symptom that I recall when tm_axiom starts the 'axiom' script which starts sman and creates the double prompt but tm_axiom has not been modified to accept two prompts. Regards, Bill Page. _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
