Re: TeXmacs 1.99.17
Darcy Shen via Texmacs-dev <[email protected]>
| Newsgroups | gmane.editors.texmacs.devel |
|---|---|
| Message-ID | <[email protected]> |
server.texmacs.org (131.220.222.6) is unreachable for me. ---- On Fri, 2020-12-11 07:47:51 TeXmacs <[email protected]> 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:[email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev _______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev