lean4-htt/releases
Violetta Sim a40bcee14f
doc: add highlights section to v4.16.0 release notes (#6925)
This PR adds the highlights section to v4.16.0 release notes.

---------

Co-authored-by: Joachim Breitner <mail@joachim-breitner.de>
Co-authored-by: David Thrane Christiansen <david@davidchristiansen.dk>
Co-authored-by: Kim Morrison <kim@tqft.net>
2025-02-03 23:18:08 +00:00
..
v4.0.0-m4.md
v4.0.0-m5.md
v4.0.0.md
v4.1.0.md
v4.2.0.md
v4.3.0.md
v4.4.0.md
v4.5.0.md
v4.6.0.md
v4.6.1.md
v4.7.0.md
v4.8.0.md
v4.9.0.md
v4.10.0.md
v4.11.0.md
v4.12.0.md
v4.13.0.md
v4.14.0.md
v4.15.0.md
v4.16.0.md