I saw in http://www.texmacs.org/tmweb/download/linux.en.html
your list of Linux
distributions providing packages. I'm a long time Mandriva user and now OpenMandriva user. Unfortunately Mandriva disappeared but we have a successor: OpenMandriva. You can find more information about OpenMandriva here https://www.openmandriva.org. I asked for an rpm package of TeXmacs and I've been satisfied: using Software manager you can easily install rpm package of TeXmacs 1.99.2! I would suggest to update your list of distributions. Thanks. |
Archive powered by MHonArc 2.6.19.