-------- Forwarded Message -------- Subject: Opening files Date: Tue, 12 May 2020 10:41:14 +0200 (CEST) From: fl To: Megill Norman
Hi Norm, can you post this: and what prevents from opening the file from a menu and switching between set mm and iset.mm from there. -- FL -- 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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/a770fc8d-8de9-4ef8-927a-9446d096c7a8%40googlegroups.com.