search

metamath / metamath-knife

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
Apache License 2.0
26 stars 11 forks source link

Fix outline parent search #57

Closed tirix closed 2 years ago

tirix commented 2 years ago

Fixing the case where the statement is before the first sub-chapter.

tirix commented 2 years ago

Thanks Mario! I've already updated my dynamic site with this new version, which now has a table of contents.