Skip to content

Editorial change: aligning name of main procedure#1349

Merged
gusthoff merged 1 commit into
AdaCore:mainfrom
gusthoff:content/advanced_ada/review/editorial/numerics/fixed_point_types/20260424
Apr 25, 2026
Merged

Editorial change: aligning name of main procedure#1349
gusthoff merged 1 commit into
AdaCore:mainfrom
gusthoff:content/advanced_ada/review/editorial/numerics/fixed_point_types/20260424

Editorial change: aligning name of main procedure

6c3c409
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
sphinx-content (3.12, 24.x)
succeeded Apr 25, 2026 in 8m 3s