Re: [isabelle] Isabelle2019-RC2: Experience report

On 14/05/2019 13:46, Peter Lammich wrote:
> The following (already reported) issues remain:
>   * The fonts still look more blurry than in 2018, on my full HD screen

We've had that already: Java 11 font rendering is more honest -- good on
good displays, and bad on bad displays.

The Isabelle/jEdit manual has some further explanations on that:

The latter are explicit instructions to downgrade to old Java 8
(end-of-life since Jan-2019).


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.