26 October 2012

Latest HOL4 released

HOL4’s latest version (Kananaskis-8) has been released.  You can get it from Sourceforge.

The release notes are available there.  There’s nothing hugely dramatic, but there are annoying bugs fixed, and some nice new examples to look at too.

Maybe the next release will be the dramatic change that will justify adoption of a new lake moniker...

No comments: