Dear Bertrand,Are you really testing 1.0.7.13 (a version that is now one year old), or is it a typo? If it's not a typo, what is the reason for not using the latest texmacs?
best, Philippe _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
