[doc] BoolInterval + manual style#347

Merged

SimonRohou merged 2 commits intocodac-team:codac2_devfrom

SimonRohou:codac2_dev

Jan 30, 2026

Commits on Jan 26, 2026

[doc/manual] minor updates
SimonRohou
committed

Commits on Jan 30, 2026

Merge branch 'codac2_dev' of ssh://github.com/codac-team/codac into codac2_dev
SimonRohou
committed