[Texmacs-dev] TeXmacs 1.99.17

[TeXmacs]

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