diff -uNr TeXmacs-1.0.2.9-orig/plugins/axiom/progs/init-axiom.scm TeXmacs-1.0.2.9-src/plugins/axiom/progs/init-axiom.scm --- TeXmacs-1.0.2.9-orig/plugins/axiom/progs/init-axiom.scm 2003-11-27 02:04:28 +0300 +++ TeXmacs-1.0.2.9-src/plugins/axiom/progs/init-axiom.scm 2003-11-30 15:36:57 +0300 @@ -17,7 +17,7 @@ (lazy-input-converter (axiom-input) axiom)) (plugin-configure axiom - (:require (url-exists-in-path? "AXIOMsys")) + (:require (url-exists-in-path? "axiom")) (:initialize (axiom-initialize)) (:launch "tm_axiom") (:session "Axiom")) diff -uNr TeXmacs-1.0.2.9-orig/plugins/axiom/src/tm_axiom.c TeXmacs-1.0.2.9-src/plugins/axiom/src/tm_axiom.c --- TeXmacs-1.0.2.9-orig/plugins/axiom/src/tm_axiom.c 2003-11-27 02:04:28 +0300 +++ TeXmacs-1.0.2.9-src/plugins/axiom/src/tm_axiom.c 2003-11-30 15:37:41 +0300 @@ -299,8 +299,8 @@ case 0: /* Axiom */ dup2(p1[1],1); close(p1[1]); close(p1[0]); dup2(p2[0],0); close(p2[0]); close(p2[1]); - execlp("AXIOMsys","AXIOMsys","-noclef",0); - fatal("exec AXIOMsys"); + execlp("axiom","axiom","-noclef",0); + fatal("exec axiom"); default: /* parent */ close(p1[1]); close(p2[0]); axin=fdopen(p2[1],"w"); axout=fdopen(p1[0],"r");