REDUCE edit mode can be selected by giving the command M-x reduce-mode, although normally it will be selected automatically, probably via the filename extension (see Installation of the REDUCE IDE).
The commands provided by REDUCE mode are aware of REDUCE syntax and
ignore the contents of strings and the case of characters. Except for
the special comment commands (see Support for REDUCE
comments), they also ignore comments. The standard GNU Emacs
indentation (see Indenting REDUCE code automatically)
and comment commands are supported, either via the general Emacs
mechanisms or by re-binding the standard keys to REDUCE-mode versions of
standard commands. The design of this mode is modelled primarily on
Lisp mode and at present the comment conventions basically follow those
of Lisp mode, except that comments are started by percent (
signs or the keyword
comment. It has also taken some ideas from
The standard Emacs syntax tables have been modified to reflect REDUCE
syntax, so that for example Emacs knows that the REDUCE escape character
!. However, there remain some unresolved problems concerning
the REDUCE escape character. See Font-lock support for
automatic font selection. See Miscellaneous minor
features and bugs.
Blank lines separate “paragraphs”.
Loading the REDUCE mode library runs any functions on
reduce-mode-load-hook, which can be used to customize global
features of REDUCE mode such as its key map. Entry to REDUCE mode runs
any functions on
reduce-mode-hook, which can be used to customize
buffer-local features of REDUCE mode, e.g. to turn on font-lock mode.
See Installation of the REDUCE IDE.
See Customization of the REDUCE IDE.
REDUCE mode is intended to support both the algebraic and symbolic modes
of REDUCE. It provides very limited support for Lisp syntax to the
extent that it is likely to be used in symbolic-mode code, and hence it
understands the significance of the quote symbol (
') to some
extent. Syntax-directed editing naturally works correctly only if the
syntax of the source code being edited is correct. If it is not then
strange things can happen, and the services of the Emacs undo facilities
may be required!
Delete one character backwards, converting tabs to spaces if necessary.
A major mode menu provides convenient access to most of the major facilities of REDUCE mode.