1\DOC
2
3\TYPE {release : string}
4
5\SYNOPSIS
6The name of the release series of the {HOL} system being run.
7
8\EXAMPLE
9{
10- Globals.release;
11> val it = "Kananaskis" : string
12}
13
14\SEEALSO
15Globals.version
16
17\ENDDOC
18