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