Next: , Previous: , Up: Miscellaneous minor features   [Contents][Index]


12.3 REDUCE IDE version information

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 either by selecting the Show Version menu option from the REDUCE major mode menu or by running the command M-x reduce-ide-version (both of which also record it in the *Messages* buffer). If REDUCE mode is not running then an easy way to start it 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).