How do you quickly jump to the markup definitions in set.mm?
37 views
Skip to first unread message
Marshall Stoner
Jul 10, 2023, 1:50:44 AM7/10/23
to Metamath
I just downloaded the metamath.exe program. It seems like this should be super obvious, but I just can't figure it out. The help documentation only talks about searching for statements, not markup comments.
Marshall Stoner
Jul 11, 2023, 6:42:40 PM7/11/23
to Metamath
Nevermind. I split the file into parts and found it easier that way.
Reply all
Reply to author
Forward
0 new messages