Comments on my draft tutorial video overwhelmingly recommended that the tutorial be updated first in mmj2. So I have attempted to do just that. My thanks to Mario for catching a few issues as I updated the material.
I would love to hear any final comments on the mmj2 tutorial before I try to turn it into a video. If you have a chance, please take a look here: https://github.com/digama0/mmj2/tree/master/mmj2jar/PATutorial Thanks! --- David A.Wheeler -- 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/E8069F71-EE27-451A-84B6-E8D310B29F1A%40dwheeler.com.
