digama0 / mmj2

mmj2 GUI Proof Assistant for the Metamath project
GNU General Public License v2.0
72 stars 24 forks source link

Fix some nits in the tutorial #33

Closed david-a-wheeler closed 4 years ago

david-a-wheeler commented 4 years ago

While reviewing the mmj2 tutorial video I found a few nits. This commit fixes them.

I don't think it's necessary to redo the video just for these nits, but it'd be good to fix them for the future.

Signed-off-by: David A. Wheeler dwheeler@dwheeler.com