All: I'm pleased to announce that I've publicly released a new video: "Walkthrough of the tutorial in mmj2" https://www.youtube.com/watch?v=87mnU1ckbI0
This is merely an execution of the tutorial embedded in mmj2, but as noted in previous emails, it ended up in a lot of changes to the tutorial. The tutorial hadn't been updated in a while, and it really needed updating. I also added a lot more material (e.g., explaining "!", explaining general search, etc.). So the tutorial ballooned from 1/2 an hour to basically an hour. Hopefully that updated & additional material will be useful to others. --- 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/E1ithZW-0003ab-CB%40rmmprod07.runbox.
