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