Latest updates

• Aug 2025: Trindemossen-2 released (see release notes for details).
• Apr 2024: Trindemossen-1 released (see release notes for details).
• Feb 2021: Kananaskis-14 released (see release notes for details).
• Aug 2019: Kananaskis-13 released (see release notes for details).
• Jun 2018: Kananaskis-12 released (see release notes for details).
• Mar 2017: Kananaskis-11 released (see release notes for details).
• Feb 2017: The 8-page HOL Interaction guide has been updated.
• Jan 2016: This webpage has a new look.
• Nov 2014: Kananaskis-10 was released, see the release notes for details.