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:

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#2150

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.