Release notes

Release notes for every released version of HOL4, newest first.

• Trindemossen-2 (Aug 2025)
• Trindemossen-1 (Apr 2024)
• Kananaskis-14 (Feb 2021)
• Kananaskis-13 (Aug 2019)
• Kananaskis-12 (Jun 2018)
• Kananaskis-11 (Mar 2017)
• Kananaskis-10 (Nov 2014)
• Kananaskis-9 (Dec 2013)
• Kananaskis-8 (Oct 2012)
• Kananaskis-7 (Aug 2011)
• Kananaskis-6
• Kananaskis-5
• Kananaskis-4
• Kananaskis-3
• Kananaskis-2
• Kananaskis-1