Re: [Texmacs-dev] TeXmacs 1.99.17

[Darcy Shen]

server.texmacs.org (131.220.222.6) is unreachable for me.

---- On Fri, 2020-12-11 07:47:51 TeXmacs <texmacs@lix.polytechnique.fr> wrote ----

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