Re: [Texmacs-dev] texmacs string-replace vs guile string-replace

[Massimiliano Gubinelli]

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 <hammer401@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