Nevermind. I split the file into parts and found it easier that way. On Monday, July 10, 2023 at 1:50:44 AM UTC-4 Marshall Stoner wrote:
> 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. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/27ae5f89-6508-4300-9831-085d00d4dc6an%40googlegroups.com.
