On Wed, Jan 8, 2020 at 11:02 AM David A. Wheeler <[email protected]> wrote:
> It'd be great to update the tutorial files. > > However, my intent for this video is to "walk through" the mmj2 > tutorial as it is provided by mmj2. So Mario would need to be willing > to accept or make changes to the tutorial within mmj2 > and then cut a new release. > > Mario: are you willing? > Absolutely. I don't have time to write a new tutorial myself right now, but checking that your changes are correct is comparatively easy, and it doesn't affect the build at all so I don't see any reason not to merge anything you send me right away. I'll also probably need some help updating those tutorial files. > I skipped a few tutorial pages because I couldn't get them to work > (admittedly I didn't try hard, making the video at all was an effort). > By the way, I don't know if this is deliberate, but you stuck pretty close to the tutorial text, which made it a bit staid. You should inject your own opinions on what's being described or restate things in your own words if you can, as it will make it sound more natural. But this isn't really a specific complaint, just something to keep in mind if you re-record any of the segments. Mario -- 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/CAFXXJStwjh7e1i8aA%2Bh25v2ew9chdcutU9Eo8tZ2niwuaKNjNw%40mail.gmail.com.
