REDUCE IDE supports a small amount of customization and the following options can be changed using the standard Emacs customization facilities. The main REDUCE IDE customization group is called “REDUCE”, under which are the four sub-groups “REDUCE Display”, “REDUCE Format”, “REDUCE Interface” and “REDUCE Run”. Every customizable option includes a link to the appropriate section of this manual.
REDUCE mode inherits from prog-mode, so some of its options
also affects this mode. The prog-mode customization group can
be accessed via a link in the REDUCE customization group.
REDUCE IDE font-lock support can be customized by resetting standard font-lock variables (see Font-lock support for automatic font selection).