Skip to content

v1.0.4

Choose a tag to compare

View all tags
@will-break-it will-break-it released this 05 Jan 16:30
· 5 commits to main since this release
v1.0.4
a5d35a0

Bug Fixes

  • Fixed self-referential links with filename prefix - Agda generates self-referential links with the filename (e.g., Leios.Linear.html#588 instead of just #588). These were incorrectly treated as cross-file references and always pointed to B1. Now correctly detects same-file references regardless of whether the filename is included in the href.

This is a follow-up fix to v1.0.3 which addressed the position-to-block mapping but missed this edge case.

Fixes #1

Assets 2
Loading