Re: [isabelle] Isabelle2019-RC2: Experience report

On 19/05/2019 19:09, Makarius wrote:
> 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:

[proper links]

> 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.