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

The latest publically released version is Athabasca-2.

Release Athabasca-4 is in good order and has a number of advantages
over Athabasca-2, including:

  * a better treatment of numerals

  * a much easier build process that works on Windows NT as well as Unix

Release Athabasca-5 patches a bug in the string library, and requires
Moscow ML 1.44.  (All earlier versions used Moscow ML 1.43.  We
believe upgrading to 1.44 to be an advantage in general.)

(IMPORTANT: for a while, this ftp site provided a version calling
itself Athabasca-4, but which had been 'patched' to build under
MoscowML 1.44.  This version was not any sort of official release and
is now subsumed by Athabasca-5.  The Athabasca-4 release now available
here does NOT run under MoscowML 1.44.)

The next release will be in the Taupo series.

----------------------------------------------------------------------
It will always be the case that the file hol98.tar.gz will point to
the latest publically released version, while working.tar.gz will
point to a recent build that hasn't necessarily been blessed with a
public release, but which is known to work here in Cambridge.