release

Globals.release : string

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

Example

> Globals.release;
val it = "Trindemossen": string

See also

Globals.version