Dear all, You probably just saw the announcement of TeXmacs 1.99.17 on texmacs-users. There is one interesting new experimental development which is ready for testing by other developers: a TeXmacs server and collaborative authoring.
For this, you have to enable the 'Remote tools' in 'Tools' and create an account on 'server.texmacs.org'. After the that, the interface should be self-explanatory (hopefully), but don't hesitate to post on this list. Best wishes, --Joris _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev