[Axiom-developer] RE: tm_axiom

[Joris van der Hoeven]

> > > Where can I find "the entire axiom plugin"?
> >
> > In $TEXMACS_PATH/plugins/axiom
>
> On my RedHat 8.0 linux system the version of TeXmacs installed
> from the 1.0.2 RPM does not have any associated environment
> variable called TEXMACS_PATH. Are you referring to the source
> distribution, Joris?

I refer to the static binary tarball. If you use an rpm,
then the binaries get split from the data, as you explained very well.