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