I'm not sure, but I guess that in the early days this function was not yet available and Joris had to code it by hand. I'm not sure if it it worth using it since it would make us more dependent on Guile which is not the current trend we would like to follow.
Best Max > On 22. Sep 2022, at 08:04, Hammer Hu <hammer...@foxmail.com> wrote: > > Hi, > > I found that texmacs has its own definition for string-replace, which is > similar to guile's string-replace-substring > <https://www.gnu.org/software/guile/manual/html_node/Miscellaneous-String-Operations.html>. > Is this behavior intentional? > > Best, > Hammer > > _______________________________________________ > Texmacs-dev mailing list > 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
