On Monday, February 7, 2022 at 10:50:51 AM UTC+1 [email protected] wrote: > After playing with rewrap a bit, I think the reason for the restriction is > that "write source /rewrap" will not attempt to break math strings, but it > will remove newlines from math strings, meaning that if you have a long > math string containing newlines it will be rewrapped into a long line, > which then fails to pass verify markup. > > This leaves the question of what to do, however. The rewrap command could > reflow math tokens, but this almost always looks terrible, which is why it > doesn't do this for regular statements unless they go over the line limit. > A more reasonable approach would be to preserve any internal whitespace in > a math string, to allow for manual indentation. > Do you want to modify the "write source /rewrap" command? I am happy with its current behaviour, and to split math strings manually if they are too long seems to be sufficient.
-- 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/9be9c84f-5cfb-4d8e-8e08-9a6a422b49dan%40googlegroups.com.
