[isabelle-dev] Isabelle DejaVu against old Isabelle Text font

Makarius makarius at sketis.net
Wed Feb 6 00:16:34 CET 2019

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 


in $ISABELLE_HOME_USER/etc/settings as usual.


More information about the isabelle-dev mailing list