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]

https://isabelle.sketis.net/repos/isabelle-release/file/be248d734a5d/src/Doc/JEdit/JEdit.thy#l364
https://isabelle.sketis.net/repos/isabelle-release/file/be248d734a5d/src/Doc/JEdit/JEdit.thy#l2150

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


	Makarius




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