> > > But this isn't Metamth's fault in particular but merely mmj2's. >
Mmj2 was designed as an editor to enter the proofs not as a pedagogical tool. Don't blame it. It does its job perfectly. -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/58c6a93c-8971-414d-bae9-5e8c4954b4f7%40googlegroups.com.
