From: Francis W. <f.j...@li...> - 2023-10-22 17:27:30
|
The latest release is version 3.1. For further information please visit https://fjwright.github.io/Run-REDUCE/. There is a guide that explains how to install and run Run-REDUCE, which lists some known issues at the end. This release includes installers for Microsoft Windows, Ubuntu and Fedora, plus a JAR file for any platform that supports JavaFX. The main reason for this release now is that it attempts to fix a problem on version 22 (and probably also 21) of Ubuntu Linux, which fails to display the Run-REDUCE User Guide using the default web browser. To fix this (at least temporarily) I now write the HTML file to ~/Run-REDUCE_User_Guide.html instead of /tmp/UserGuide.html. A couple of other significant updates are a facility to handle REDUCE user queries graphically via pop-up dialogues and an option to select whether menu-generated REDUCE commands appear when scrolling through previous input. (These have been in the source on GitHub for quite a long time.) All release notes (and releases) are available at https://github.com/fjwright/Run-REDUCE/releases. As usual, feedback is welcome. Francis |