On Sat, Jan 4, 2020 at 10:08 AM David A. Wheeler <[email protected]> wrote:
> But changing our label conventions so that underscores are between the > abbreviations might be a good idea. > > It'd be a pain to rename everything, but that is something that can be > done once and could be almost entirely automated. > I doubt this. Determining where the breaks are would be a highly nontrivial task that I would not trust to a computer without oversight, and it will hit almost all theorems, so this is not an easy task at all. Mario -- 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/CAFXXJSuLR%2BRPPBXsod4LF%2ByNP81A_xmUf90_p-i18SMjd8o0ew%40mail.gmail.com.
