Additional ISO tools: Clause Names -> Clause names; Bold Table Headings. Allow fixing of the found issues.#96

Merged

asluk merged 14 commits into

OleksiyPuzikov:main

Jun 15, 2026

Commits on Jun 8, 2026

Commits on Jun 10, 2026

Replace heading case build filter with source-level lint and fix

OleksiyPuzikov
and
claude
committed
Remove build-time heading case and bold table header filters

OleksiyPuzikov
and
claude
committed
Rename bold_table_lint.py to iso_bold_table_lint.py

OleksiyPuzikov
and
claude
committed