Hi all, I made a security fix in the new distribution, which necessitates the creation of a new account on the TeXmacs server (for those who did so). Sorry for the inconvenience. I also added a little sound for notifying that someone sent a new message after a long absence.
Best wishes, Joris _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
