and I installed my axiom in /opt/axiom However:
(1) hypertex doesn't start; instead I get an error message:
"(HyperDoc) Warning: Not connected to AXIOM Server!
ReadBitmapFile: File >/opt/axiom/mnt/ubuntu/share/hypertex/bitmaps/menudot.bitmap< not found"
which would seem to indicate that hypertex is looking somewhere else for its files. Does this mean that hypertex needs to be compiled separately, or is it just a matter of fixing up a configuration file somewhere?
(2) I can't get axiom to work in TeXmacs. Even though axiom is in my path, and TeXmacs is started from a shell which includes the correct values for PATH and AXIOM, "Axiom" doesn't exist as a possible session type.