HOL98

[A picture of Lake Taupo]

HOL98 releases are organised on a name-number basis. The Athabasca series of releases was the first.

We make two sorts of hol98 releases. Public releases are blessed with an official stamp of approval, and can be expected to be stable and well-tested. Working releases are recent snap-shots of development in Cambridge, and are known to build and run in our local environment. All releases get version numbers.

Available files

Athabasca-2
This is the last public hol98 release (from December 1998).
Taupo-2
This working release provides a few bug fixes, a theory of lazy lists, and some extensive theories for temporal logic. The release notes include a more detailed description of the new features. You may also benefit from reading the installation instructions.

(Released 19 February 2000.)

Taupo-3
This working release provides minor bug fixes for Taupo-2 and a decision procedure over the integers (more details).

(Released 10 April 2000).

Taupo-4
This working release fixes a number of relatively minor bugs, and provides some new features (including a few for the Holmake tool). More details.

(Released 31 July 2000.)

(Though officially blessed as a public release, Athabasca-2 is now quite out-of-date. We recommend using the latest working release.)

IMPORTANT: All of the Taupo releases require Moscow ML version 1.44!

(And no other, whatever other documentation might imply.) This is no longer the most recent version of Moscow ML, but is still available. The next release (after Taupo-4) will almost certainly require Moscow ML version 2.00.

Support and documentation