Signed tag for HOL4 (sub-)versioning
Set Trindemossen-2 release date in release notes
Fix typo in the Description
Updated minisat
Kananaskis-14 release
Official Kanananaskis-13 release
Get formal-languages/regular to pass src tests again
CakeML Version 2
CakeML Version 1
Kananaskis-12 release