mailing-list for TeXmacs Users

["Philippe Joyez" <address@hidden>]

Dave,

The static build of texmacs for linux available at texmacs.org is a pain to
install and it also has issues that dynamic builds do not have. I would advise
you to try the texmacs deb package for ubuntu  16.04 at this site :

https://software.opensuse.org/download.html?project=home:slowphil:texmacs-devel&package=texmacs

Let us know if it works better.

Best,
Philippe