Author(s): Montserrat Urraca.
Version: 1.11#222 (2004/5/24, 13:8:7 CEST)
Version of last change: 1.9#143 (2003/12/4, 17:34:38 CET)
radiobutton_class)radiobutton_class)
Usage 1: variable_value(Variable)
Variable to set whenever this button is selected.
Variable is currently instantiated to an atom.
(term_typing:atom/1)
Variable is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: variable_value(Variable)
Variable which indicates if this button is selected.
Variable is currently instantiated to an atom.
(term_typing:atom/1)
Variable is a free variable.
(term_typing:var/1)
Go to the first, previous, next, last section, table of contents.