version

Globals.version : int

The version number of the HOL system being run.

Example

> Globals.version;
val it = 2: int

See also

Globals.release