[isabelle-dev] Isabelle DejaVu against old Isabelle Text font

[Makarius]

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