Tutorial: Add missing colons, rename Q to QZ

digama0 / mmj2

mmj2 GUI Proof Assistant for the Metamath project

GNU General Public License v2.0

72 stars 24 forks source link

Tutorial: Add missing colons, rename Q to QZ #16

Closed david-a-wheeler closed 4 years ago

david-a-wheeler commented 4 years ago

In the tutorial, fix several of the chapter 3 pages so that missing colons are added (otherwise the tutorial doesn't work properly because mmj2 now interprets them differently).

Also, rename "Q" to "QZ" because "Q" conflicts with an existing symbol (otherwise Page412 won't work).

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

david-a-wheeler commented 4 years ago

@digama0 - okay, here's my first pull request for the tutorial in mmj2. If this process doesn't work for you, please let me know.