server.texmacs.org (131.220.222.6) is unreachable for me.
---- On Fri, 2020-12-11 07:47:51 TeXmacs <texm...@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
mailto:Texmacs-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/texmacs-dev
_______________________________________________
Texmacs-dev mailing list
Texmacs-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/texmacs-dev