documentation maintenance#588

Open

paolopas wants to merge 5 commits into

bfgroup:mainfrom

Commits on Apr 12, 2026

Commits on Apr 13, 2026

SUBST documentation added in §12.2.4 Builtin Rules
paolopas
committed

Commits on Apr 16, 2026

better documentation for exported param
paolopas
committed

Commits on Apr 18, 2026

updated §6.5.11 sequence documentation
paolopas
committed