release
Globals.release : string
The name of the release series of the HOL system being run.
Example
> Globals.release;
val it = "Trindemossen": string
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help