version

Globals.version : int

The version number of the HOL system being run.

Example

- Globals.version;
> val it = 2 : int

See also

Globals.release