v0.1.18

Full Changelog: v0.1.17...v0.1.18

v0.1.17

Full Changelog: v0.1.16...v0.1.17

v0.1.15

What's Changed

• docs: sync related project links by @jonaprieto in #16
• chore(release): set version 0.1.15 by @jonaprieto in #17

Full Changelog: v0.1.14...v0.1.15

v0.1.14

What's Changed

• feat: add source-free reports by @jonaprieto in #13
• build: adopt Lean v4.33.0 by @jonaprieto in #14
• build: adopt precommit-lean v0.1.6 by @jonaprieto in #15

Full Changelog: v0.1.13...v0.1.14

v0.1.12

What's Changed

• chore: adopt precommit-lean checks by @jonaprieto in #5
• build: refresh precommit-lean by @jonaprieto in #7
• docs: refresh concise readme by @jonaprieto in #8
• docs: remove readme version by @jonaprieto in #9
• refactor: unify diagnostics sources by @jonaprieto in #11
• chore(release): set version 0.1.12 by @jonaprieto in #12

Full Changelog: v0.1.11...v0.1.12

v0.1.11

Full Changelog: v0.1.10...v0.1.11

v0.1.9

Align the Unicode gutter when rendering, link and cache diagnostic sources, pin termcolor-layout to its v0.1.7 release tag, and move to the Lean v4.32.2 toolchain.

v0.1.8

Highlight source filenames and add opt-in OSC-8 clickable source locations. Refresh CI pins, screenshots, tests, and documentation.

v0.1.7 — clearer diagnostic metadata

Improve diagnostic readability: multiline labels show their message once, Unicode and ASCII multi-source demos are separated, note/help use clear prefixes without '=', and styled note/help labels are underlined. The suite now contains 35 executable checks.

v0.1.6 — Unicode label connectors

Improve Unicode diagnostic readability by connecting each labeled marker to its message with a colored ╰─ connector. ASCII output remains unchanged. The executable suite now verifies 33 diagnostics checks.