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.