release : string
STRUCTURE
SYNOPSIS
The name of the release series of the HOL system being run.
EXAMPLE
- Globals.release;
> val it = "Kananaskis" : string
SEEALSO
HOL  Kananaskis-10