digama0 / mmj2

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

Tutorial: More small fixes from making video #31

Closed david-a-wheeler closed 4 years ago

david-a-wheeler commented 4 years ago

In the process of making a video I found a few more problems in the mmj2 embedded tutorial. This commit fixes those problems.

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