Hi David, Thanks for this, I think it will indeed help some people to get the feeling of a hands-on experience by just watching a video.
Some remarks: - Video should probably point to a download link, and some very brief installation instructions (that is the hard part in my experience, at least on Linux. :-) ), probably by referring to the video's description. [Java 8 seems to be the max version per the post-2.5.3 fix for java 9+ <https://github.com/digama0/mmj2/commit/468e629743e09eb3f3ec5d2801a23dcd2666dfec> and a quick test with OpenJDK 11, and probably the min version as well. Linux Java 8 command line needs to be something like cd /the/directory/where/you/unpacked/mmj2/mmj2jar java -Xincgc -Xms128M -Xmx512M -jar mmj2.jar RunParms.txt Y '' /the/directory/having/set.mm '' ] - Video might explain a mmj2 version check (Help -> About mmj2). - 0:35: "mmj2" is read as "mmg". - 14:35: The video explains how the tutorial doesn't match the recent notation change in mmj2 step:hyps:ref-- instead of explaining that in the video, shouldn't the tutorial be fixed before publishing the final video? - 21:43: Switched to 'reiteration.mmp' file name for Page401.mmp, which makes it a bit difficult to follow along if (like me) you only look at the mmj2 window title bar. :-) - 23:36: Probably you should explicitly mention that you are skipping Page402.mmp and Page403.mmp, about 'only assertions in the Ref part of a step'? - 26:13: Skipping Page 405.mmp without mention, presumably because the instructions are not correct (Edit/Undo doesn't do anything after just loading the page, of course). - 30:04: The result of Page409.mmp is actually different from the starting point of Page410.mmp (d1/d2->1001/2001, and the leading exclamation marks are done). That difference doesn't teem to matter. - Side note, are those leading exclamation marks explained somewhere, either in the tutorial or in the video? Couldn't find this. Those were the nits I could find. :-) Again, thanks for this effort!! Groetjes, <>< Marnix Op di 7 jan. 2020 om 23:43 schreef David A. Wheeler <[email protected]>: > I've created a tutorial on using mmj2. It's basically just a video > recording > of me walking through (most of) the tutorial included in mmj2. > > The advantage of a video recording is that > people don't have to install anything to see the tutorial. > > You can see it here: > https://www.youtube.com/watch?v=gAMf4tfoXjY > > I'd love to hear feedback! > > This is an *unlisted* URL, please don't post the URL everywhere. > I intend to make modifications (based on feedback) and officially post > the URL for the final version. > > --- 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/E1ioxZJ-00009P-Iy%40rmmprod07.runbox > . > -- Marnix Klooster [email protected] -- 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/CAF7V2P9HoUT7hcXOoNMdOfJQxa_rPc02n4%3Dr38vchmo-KS1oig%40mail.gmail.com.
