Thanks for mentioning about my suggestions. I hope that some actions
should be done before the release of TeXmacs 2.1.
On 2020/4/20 下午10:11, Giovanni Piredda wrote:
From the point of view of a user: the suggestions of Darcy in the
message "Three specific suggestions for the TeXmacs community" point
to the right direction on how to make it possible to interact with
other users.
_______________________________________________
Texmacs-dev mailing list
Texmacs-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/texmacs-dev