0.87

This release supports an online version running natively in the web browser. Version 0.87 exploits new technology provided by CheerpJ. Thanks to Philip Hallwirth who extended JGEX's source code to support this. There are still minor issues, for example, no .gex files can be downloaded from or uploaded in the browser's internal storage.

JGEX has a new menu option in the file menu now: "Open GDD proof in GraphViz Online". This allows the user to study the GDD proof as an SVG image inside a web browser by starting a free online GV to SVG generator. Version 0.87 also provides web links to the sketch images of the applied rules in a GDD proof. Thanks to András Kerekes for his support in adding this feature.

For a complete list of recent changes please visit https://github.com/kovzol/Java-Geometry-Expert/commits/0.87/

The following packages are available.

• Windows .exe installer (with OpenJDK 19.0.1)
• Mac .pkg installer (with OpenJDK 11)
• Linux AppImage or .deb or .rpm or snap (with OpenJDK 11.0.27)

All provided packages include a Java Runtime Environment.

Also, an updated version of the Javadoc is available. Thanks to Philip Hallwirth and Alexander Vujic for the hard work.

0.86

This release is a snapshot of the current state of Java Geometry Expert. It contains the following relevant improvements:

• The GDD proof tree, shown inside JGEX, contains different shapes for the various rules being used. This is performed via the graph-support package, version 1.4.0, thanks to Jamison Jiang. The SVG renderer (batik) has also been updated to version 1.19.

For a complete list of recent changes please visit https://github.com/kovzol/Java-Geometry-Expert/commits/0.86/

Download a package that fits your system and install version 0.86:

• Windows .exe installer (with OpenJDK 19.0.1)
• Mac .pkg installer (with OpenJDK 11)
• Linux AppImage or .deb or .rpm (with Azul Zulu 15.0.10) or snap (with OpenJDK 11.0.19)

All provided packages include a Java Runtime Environment.

0.85

This release is a snapshot of the current state of Java Geometry Expert. It contains the following relevant improvements:

• Updated (but yet incomplete) Portuguese translations, contributed by Joana Teles (leading translator), Vanda Santos and Pedro Quaresma.
• Several GeoGebra files with prover support can be imported now. See the file src/docs/import/limitations.txt for more details.
• More detailed and improved .gv (GraphViz) export for the GDD proofs. See an example GraphViz export visualized as SVG for the Euler line theorem.

For a complete list of recent changes please visit https://github.com/kovzol/Java-Geometry-Expert/commits/0.85/

Download a package that fits your system and install version 0.85:

• Windows .exe installer (with OpenJDK 19.0.1)
• Mac .pkg installer (with Oracle OpenJDK 21.0.2)
• Linux AppImage or .deb or .rpm (with Azul Zulu 15.0.10) or snap (with OpenJDK 11.0.19)

All provided packages include a Java Runtime Environment.

0.84

This release is a snapshot of the current state of Java Geometry Expert after several improvements and bug fixes performed during the WG2geom24 EuroProofNet meeting. It contains the following relevant improvements:

• Initial version of French, Hebrew and Polish translations, contributed by Noah Dana-Picard (French and Hebrew), Anna Petiurenko and Piotr Błaszczyk (Polish).
• Major improvements and fixes in the Serbian translation by Jelena Marković and Vesna Marinković.
• Extension fix on .gex/.ggb files when selecting the file.
• Initial support for command line options (start the program with jgex -h for details).

For a complete list of recent changes please visit https://github.com/kovzol/Java-Geometry-Expert/commits/0.84/

Download a package that fits your system and install version 0.84:

• Windows .exe installer (with OpenJDK 19.0.1)
• Mac .pkg installer (with Oracle OpenJDK 21.0.2)
• Linux AppImage or snap (with Azul Zulu 15.0.10)

The provided packages include a Java Runtime Environment.

0.83

This release contains the following improvements:

• Minor fix in the German translation.
• The .gex extension is selected automatically when loading example files.
• File encoding of the GraphViz export of the GDD proof has been fixed.
• Interconnections in GDD proof graphs are shown correctly inside the program.
• GDD proofs are colored with a better concept than before: hypotheses are pink (unchanged), trivial consequences are light red, consequences related to parallel lines are light green, to perpendicular lines: light blue, to circles: light yellow, to triangles: light cyan (see the proof graph of the Wallace-Simson theorem above). Other colors include light orange (for angles) and gray (for some additional lemmas).

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 volunteers should add the remaining 350 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.

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

• Windows .exe installer (with OpenJDK 19.0.1)
• Mac .pkg installer (with OpenJDK 17.0.1)
• Linux AppImage or snap (with OpenJDK 11.0.22)

0.82

This release has better support for the German and Hungarian languages. Thanks to Ines Ganglmayr for her work on the German translation.

Also, this release focuses on some code cleanup, including:

• Several lines of dead code have been removed.
• Class names have been renamed to the industry standard (capitalizing).
• Minimal support for automated testing has been added (see the tasks runGproverMain and runGproverMain2 in the Gradle build system).

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 volunteers should add the remaining 350 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.

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

• Windows .exe installer (with OpenJDK 19.0.1)
• Mac .pkg installer (with OpenJDK 17.0.1)
• Linux AppImage or snap (with OpenJDK 11.0.21)

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:

• Windows .exe installer (with OpenJDK 19.0.1)
• Mac .pkg installer (with OpenJDK 17.0.1)
• Linux AppImage or snap (with OpenJDK 11.0.21)

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.

0.80-20231107

• Basic support for loading GeoGebra files. Points, lines (segments), circles, midpoints and perpendiculars are supported. Intersection of two object assumes that only one intersection point is selected.
• Windows (.zip, OpenJDK 19 is bundled), Mac (.zip, OpenJDK 11 is bundled) and Linux (.deb) are provided. Linux users may want to check out the Snapcraft version as well.

0.80-20231101

• GDD proofs are shown also as a GraphViz tree.
• Windows (.zip, OpenJDK 19 is bundled) and Linux (.deb) are provided. Linux users may want to check out the Snapcraft version as well.

0.80-20230527

• The Serbian translation has been updated.
• Some minor updates in the German translation.
• GDD proofs are shown as a tree.
• Preliminary support to export GDD proofs as a GraphViz .gv file.
• Windows (.zip), Mac (.zip) and Linux (.deb) are provided. Linux users may want to check out the Snapcraft version as well.