On 10/02/2019 19:47, Makarius wrote:
> I have fine-tuned the Isabelle DejaVu fonts in
> Isabelle/4791988fcbc4 to impose the FreeType auto-hinting beforehand to
> the TrueType file: this leads to isabelle_fonts-20190210 in
> Isabelle/7e5a7a11d5d1.
>
> In summary:
>
> * Isabelle font rendering
On 10/02/2019 20:12, Makarius wrote:
> On 10/02/2019 20:08, Peter Lammich wrote:
>> No luck on my machine. The font rendering still looks slightly
>> blurred.
>>
>> However, I'm using an old Linux (Ubuntu 16.04) ... may that be the
>> reason?
>
> I don't think so, but you can make a quick test