Finally it works as well with teXmacs 1.0.7.20 of the Fink distribution !

Cheers,
Bertrand

_______________________________________________
Texmacs-dev mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/texmacs-dev

Reply via email to