Kurt Pagani
Results
1
issues of
Kurt Pagani
The '--texmacs' option does not work, and consequently the plugin doesn't either. Moreover, the TeXmacs *.deb packages (https://texmacs.org/tmweb/download/linux-packages.en.html#ubuntu) now install to '/usr/local/share/TeXmacs/', whereas the plugin goes to '/usr/share/texmacs/TeXmacs/'. When asked,...