search

leanprover / doc-gen4

Document Generator for Lean 4
Apache License 2.0
62 stars 41 forks source link

Fix over-agressive hiding of file path #175

Closed winstonyin closed 7 months ago

winstonyin commented 7 months ago

We also add a missing <span> tag for the "Documentation" text in the header.