The version of REDUCE IDE that is running is available as the value of
the variable reduce-ide-version
, which is a string that can be
displayed in the echo area by selecting the Show Version
menu
option from the REDUCE Edit or Run mode menu, or by running the
command M-x reduce-ide-version (both of which also record it in
the *Messages*
buffer). If no REDUCE mode is running then an
easy way to start REDUCE mode is to switch to a temporary buffer
(e.g. by using C-x b tmp) and then switch it to REDUCE mode
(by using M-x reduce-mode).