Skip to content

0.81
Compare
Choose a tag to compare
@kovzol kovzol released this 09 Dec 07:02
· 21 commits to master since this release
0.81
be0c544

A screenshot of version 0.81

This release is a milestone in finalizing the ideas of the original authors Chou, Gao and Ye, by fixing some minor issues in version 0.80 beta and update the development tools for today's expectations:

  • The build system has been changed to Gradle.

  • Some obsoleted code (including Java web applets) have been removed. Also, Java versions above 8 are also supported now.

  • Translations are managed via the gettext system from now on. Several phrases can be translated now that were hardcoded in JGEX, but now they are configurable for each language. In earlier versions there were about 500 phrases configurable, now it is above 800.

  • The software can be installed more easily than before:

    • On Windows the Inno Setup is used,
    • on Mac, a PKG file is provided,
    • on Linux, AppImage is supported.

    The installers are created via the JavaPackager tool.

  • A new translation for Hungarian users is available. It covers almost all translatable phrases. This effort was supported by the Hungarian FSF.hu Alapítvány among its granted projects in 2023.

  • A couple of issues have been addressed like fixing the Unicode characters in some GEX files in the rules, proper loading of rules in the manual proof editor, fixing annoying typos in the English version, adding several tooltips to improve the user interface, fixing some loading issues for certain GEX files having non-default linestyles, saving the preferences in jgex.cfg, and correcting some parts of the documentation.

Even if the list above is quite long, there is still some work needed to finalize JGEX to be ready for today's situations:

  • All translations need to be checked by native speakers, and add the remaining 300 phrases.
  • Some further translation keys could be added: the manual proof editor and the algebraic provers are not fully covered yet.
  • The documentation needs to be checked and its quick access in JGEX should be improved.
  • Some minor bugs in the presentation of the Full Angle Method should be fixed.
  • Inserting rules in the manual prover seems to be incomplete. Also, the area method was started to implement but not finished by the original authors.
  • A high amount of code cleanup is suggested, by removing dead code, unifying Java method names, changing class names to the industry standard (capitalizing), adding more documentation of the code.

Most of the provided packages include a Java Runtime Environment. Download a package that fits your system and install version 0.81:

Version 0.81 is dedicated to Lajos Szilassi who turns 81 years old on the 10th of December 2023, on the day of this release.

Assets 6