Update .gitattributes: Add extra exclusions.
multi: Redirect for PRs/issues; disable Linguist
Add: .github/issue-close-app.yml: Redirect issues
Add: .github/mergeable.yml: Redirect pull requests
Add: ./SECURITY.md: Redirect vulnerability reports
Add: .gitattributes: Disable GitHub Linguist
First build on Centaur23!
Update build instructions and configuration files.
Version 3.1.2
Move development to new computer Centaur23 with better support for virtual machines.
Better code to write external UserGuide file only if it does not exist or is out of date.
Only write external UserGuide file if it does not exist or is out of date.
Correct the View menu defaults to agree with the User Guide.
Also delete the now-obsolete file "UserGuide-to-resources.bat".
BUILD.md
Document copying "docs/UserGuide.html" to BUILD.md.
Linux installer
Add JVM option "-Djdk.gtk.version=2", Run-REDUCE home page URL and some double quotes to Linux installer build script. Remove JAVA_HOME from both installer build scripts, since it seems to be redundant. Add need to copy "docs/UserGuide.html" to BUILD.md.
Automatically copy the User Guide from docs to resources only if it did not exist or was out of date in resources.
Automatically copy the User Guide from docs to resources when building on Windows.
Introduce docs/UserGuide-to-resources.bat to perform the copy, registered as an external tool in IntelliJ Idea. Run it before building when running either from (compiled) source files or a JAR. Delete resources/UserGuide.html from git and add it to .gitignore. Do not edit resources/UserGuide.html directly in future!
Don't treat running using (compiled) source files directly as a special case for displaying the User Guide.
Update KaTeX to v0.16.9
Use .woff font files because .woff2 font files still don't work! Rename "LICENSE.txt" to "LICENSE and UPDATING INFO.txt" and add a brief summary of how to update KaTeX. Update About text to include KaTeX version.
Version 3.1.1
Build using Java 17.0.9 and JavaFX 17.0.9 on Windows. (Must stay with WiX 3 because jpackage does not yet support WiX 4!)
Version 3.1
Update build scripts and all documentation.
Write UserGuide.html to ~/Run-REDUCE_User_Guide.html
which the default web browser on Ubuntu 22 can open. Tweak ".gitignore", mainly to ignore installer output files and standard REDUCE test files.
Update to version 3.0.7.
Write User Guide to "user.home" instead of "java.io.tmpdir" to support Ubuntu. Delete some redundant toString() calls. Use a text block for the About message.
Add instructions for configuring IntelliJ IDEA, which I developed using a new installation on Ubuntu 20.