CIGAL Reference Manual, Chapter 4 (menuflag):
usage:
Integer pseudo-variable containing active menu status flag
See Also: CIGAL Home, CIGAL Manual, List, Manual Help