On 05.02.19 20:19, Makarius wrote:
From a distance, I would say that this is a matter of the Java 11 font-renderer, which is provided by https://adoptopenjdk.net. The one by Oracle is much worse -- OpenJdk not the non-free Java. (Note that the license change of non-free Oracle Java no longer allows to bundle it.)

For completeness, this is how to experiment with different versions of JDK, e.g. the one that Ubuntu 18.04 provides as the "openjdk-11" package family:


in $ISABELLE_HOME_USER/etc/settings as usual.

isabelle-dev mailing list

Reply via email to