release

Globals.release : string

The name of the release series of the HOL system being run.

Example

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

See also

Globals.version