There are already 225 commits since v1.99.9 .
What is the next release of GNU TeXmacs? 2.0.0 or other version number?
_______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
