[isabelle-dev] Update of Isabelle/jEdit manual: screenshots

Makarius makarius at sketis.net
Thu Apr 11 15:30:41 CEST 2019

In Isabelle/2337a6bc5e41, I have updated the screenshots of the
Isabelle/jEdit manual, using a macMini with current Mojave and a regular
UHD display, but only a small portion of the screen; there is one
screenshot with Linux Ubuntu Budgie that uses the full pixel-range of it.

The visual appearance on my 3 test displays is as follows:

  * Samsung UHD 28" (2017, 330 EUR): better than before in every respect

  * Sony Vaio HD 17" (2013): pretty good, better font shapes than before

  * Iiyama HD 21" (2019, 80 EUR): quite bad (also for native macOS

My overall conclusion: OpenJDK 11 is more honest in the rendering, i.e.
a good display gives good results, a bad display gives bad results.

I will work on the text of the manual later: with updated notes about
high-quality vs. low-quality displays; also about font hinting vs.


More information about the isabelle-dev mailing list