Hi Miguel, Le Thu, 17 Oct 2013 14:42:53 +0200, Miguel de Benito Delgado <m.debenit...@gmail.com> a écrit :
> Any thoughts? For GNU/Linux and others free unices, you should leaves this work to package managers. AFAIK, TeXmacs is well packaged in most known distros, and, home-made packages are also ready on texmacs.org. So, AFAIK there is no need to shake up anything in this field. François -- François Poulain <fpoul...@metrodore.fr> _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
