On Tuesday, February 8, 2022 at 3:45:30 AM UTC+1 [email protected] wrote:
> I was considering it. Or at least, deprecating it once we have an adequate > replacement, which can then have a different behavior on long math strings. > > If we're keeping the current behavior, I suppose that means that there > should be a warning for newlines in a math string? > To get a warning in this case would be great! -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/d80b4f18-dbfb-4924-a83c-47879599c3fbn%40googlegroups.com.
