Hi David, very nice tutorial, I learned a lot of interesting things. Re the sound quality I think maybe you are a bit close to your mic, you are getting a bit of breathing coming through and popping on p sounds. However it isn't a big deal and wasn't particularly noticeable.
You say in some places, like in file 302, that things have changed since the tutorial was written and it is a bit outdated, such as it now needing more :'s. Do you think it is worth updating the tutorial files when you found these? For me the most useful feature of mmj2 is putting an ! at the beginning of the line, this seems to magically fill in everything for me which is very nice. It seems this did not come up in the tutorial and it's the first thing I would tell people ha ha. Overall very nice, thanks for making it. Jon -- 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/175830c6-3ad4-4460-a2a2-da743f902220%40googlegroups.com.
