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/02dff87a-d69e-4940-b281-9d6f14717f4bn%40googlegroups.com.
