CIGAL Reference Manual, Chapter 2 (Commands): Release
usage: release varbname [varb2 varb3 … ]
See Also: DECLARE(2), DEFINE(2), VARIABLES(1)
CIGAL Home, CIGAL Manual, Commands List, Manual Help