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:
ISABELLE_JDK_HOME="/usr/lib/jvm/java-11-openjdk-amd64"
in $ISABELLE_HOME_USER/etc/settings as usual.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
