issues
search
digama0
/
mmj2
mmj2 GUI Proof Assistant for the Metamath project
GNU General Public License v2.0
72
stars
24
forks
source link
Tutorial: Tweak LocalRef-related material
#30
Closed
david-a-wheeler
closed
4 years ago
david-a-wheeler
commented
4 years ago
Update PageLocalRef.mmp to newer behavior of mmj2.
Update PageLocalRef.mmp and Page411.mmp to refer to each other.
Page411.mmp: Clarify that # can be followed by a step identifier OR ref.
Signed-off-by: David A. Wheeler
dwheeler@dwheeler.com
Signed-off-by: David A. Wheeler dwheeler@dwheeler.com