----------------------------------------------------------------------
release                                                      (Globals)
----------------------------------------------------------------------
release : string

SYNOPSIS
The name of the release series of the {HOL} system being run.

EXAMPLE

- Globals.release;
> val it = "Kananaskis" : string


SEEALSO
Globals.version.

----------------------------------------------------------------------