> > You might find these 2 video tutorials that I created useful:
Thanks, I saw those a few years ago :-) They were very useful. Also, they are featured at http://us2.metamath.org:88/index.html#mmj2 so it was not hard to find them by exploring Metamath website. I added links to "How can I contribute to Metamath?" ( > http://us2.metamath.org/index.html#contribute ) near the top of these > pages: > http://us2.metamath.org/mpeuni/mmset.html > http://us2.metamath.org/mpeuni/mmrecent.html > Great, now it's a lot easier to find contributing tips. -- 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/acc3e9bc-1243-447f-be5d-4f2231f2fab4%40googlegroups.com.
