History — SPARK (Ada)
| rev | when | by | summary | |
|---|---|---|---|---|
| rev 3 | 2026-10-20 12:12:40 UTC | ALB Team | Citations: converted [n] blob refs to inline [[cite:]] footnotes with verified DOI/publisher links; CACM date 2023?2024; iFACTS HCSS 2012?2014 | diff · revert |
| rev 2 | 2026-10-16 04:34:06 UTC | ALB Team | a11y: normalize heading depth (##→#) for correct h1→h2 outline | diff · revert |
| rev 1 | 2026-10-13 03:20:03 UTC | ALB Team | Publish: SPARK (Ada) — 6,000+ word formal verification article | revert |