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 by booting current
> Ubuntu 18.04 from an USB stick. The graphics drivers could make a
> difference.
I have briefly tried a USB stick of Ubuntu 16.04 on one of my test
machines: as expected, it does not make a difference, i.e. the rendering
quality is fairly good with the defaults of Isabelle/f610115ca3d0.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
