Hello everyone, Unfortunately the development of mmt1 is taking 1 to 2 months longer than expected, so I just wanted to let you all know that you can expect the first version of mmt1 (if everything goes right) to release some time in October.
Best regards, Marlo Bruder -- 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 visit https://groups.google.com/d/msgid/metamath/f285c9a4-1bf0-4b20-924c-b8cf5ee47cccn%40googlegroups.com.
