On Monday, January 3, 2022 at 5:55:46 AM UTC+1 [email protected] wrote: > Could someone summarize the design changes required in an issue on the > metamath-exe repo? I think I know how to do the change but I'm not sure > what flags we're adding or deleting or how the defaults change. >
This is now https://github.com/metamath/metamath-exe/issues/28 Benoît -- 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/ea3d6f7c-634c-4543-9252-0aac50bbf3efn%40googlegroups.com.
