This indeed works, thanks for the idea. Now the latest version of JGEX (Release 0.80-20231101 · kovzol/Java-Geometry-Expert · GitHub) uses graph-support and batik to visualize geometry proofs.
This indeed works, thanks for the idea. Now the latest version of JGEX (Release 0.80-20231101 · kovzol/Java-Geometry-Expert · GitHub) uses graph-support and batik to visualize geometry proofs.
