On January 12, 2020 11:04:54 PM EST, Norman Megill <[email protected]> wrote: >I'm unclear about what prompted this and why it is considered a >problem.
No problem, you answered my question. No change in set.mm is fine. Carry on! --- David A.Wheeler -- 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/B950532C-4DC5-4815-A91F-08F259535A86%40dwheeler.com.
