Skip to content

Release 1.12.89

Choose a tag to compare

View all tags
@jlangch jlangch released this 12 Apr 18:21
· 478 commits to master since this release
v1.12.89
5ec026b

[1.12.89] - 2026-04-12

Enhancements

  • Cheatsheet PDF: improved in-doc navigation. Added back navigation from functions
    to its module/section.

  • The REPL launcher script is now relying on the JAVA_HOME environment variable
    to locate and start the REPL Java VM. The JAVA_HOME environment variable points
    to the directory where the Java JDK/JRE is installed.

    Starting the Java VM with "$JAVA_HOME/bin/java" instead of just "java"
    (relying on the environment variable PATH) provides more flexibility.

    The REPL setup configures the JAVA_HOME in the repl.env (on Linux/MacOS) or
    repl.env.bat (on Windows) with the Java home used to run the setup.

Tip

You can define the JAVA_HOME environment variable explicitly in the repl.env
file (on Linux/macOS) or the repl.env.bat file (on Windows), both located in
the REPL home directory.

This makes switching the Java VM across different Java versions a breeze. Just
change JAVA_HOME in the REPL env file and restart the REPL.

Assets 2
Loading