Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
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 should be once again slightly better on Linux. > > * There is a small risk that it has slightly degraded on Windows and > macOS. > > In other words: early adopters should look closely if it is all fine. We > are (very slowly) moving towards the Isabelle2019 release (presumably > June 2019), and everything needs to be beyond doubt when released. I have invested 96 EUR into an old-style HD display from iiyama (1920x1080 21.5") and made some tests with Linux, Windows, macOS. * All platforms use the custom font-renderer of Java 11, not the native one (of Windows or macOS) as I first thought. * Using the defaults of Isabelle/f610115ca3d0, font shapes come out much better than in Java 8, 7, 6, and our "Isabelle DejaVu" fonts work nicely at 14, 16, 18, 24 pixels etc. -- in the past only 18 was OK, and most other sizes a bit too thin. * Some degree of blurriness appears to be normal for the FreeType font rendering of OpenJDK 11, but after a short time the Java 8 (Oracle) rendering already looks quite ugly to me. * Blurriness is absent on my up-to-date UHD display (330 EUR), even for tiny font sizes 14, 16, 18 -- normally I use 30 or 36. I cannot imagine anybody still using low resolution displays on a desk, after 5 years of fairly cheap UHD displays. Equipment that is used every day should be of good quality. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
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
Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
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. Note that the jdk-11 distribution includes a copy of libfreetype.so, so it appears to be reasonably self-contained in that respect. (I did not read the relevant sources, because it is split between a Java and a native part in C, and the latter sources always require extra work to locate.) Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
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? -- Peter On So, 2019-02-10 at 20:01 +0100, Christian Sternagel wrote: > This is just to confirm that the result looks really great on my > linux > (Fedora 29 with i3) setup. Thanks! > > chris > > On 2/10/19 7:47 PM, Makarius wrote: > > > > On 08/02/2019 10:03, Christian Sternagel wrote: > > > > > > > > > I am glad to hear that others have the same experience, I thought > > > my > > > eyes were going bad ;) > > > > > > But seriously, "buy a new screen" is not always possible. For > > > example, > > > in the upcoming summer term I am teaching an Isabelle class at > > > the > > > University of Innsbruck. In my experience (and I just reconfirmed > > > this > > > for the room I will be teaching in), the projectors we have here > > > a > > > typically rather old (and have low resolution, but that is a > > > different > > > story). > > > > > > At the moment there is a palpable difference (font rendering > > > crispness > > > wise) between using Isabelle2018 with projector (which I will do > > > anyway > > > for my class) and some recent development version (sorry I didn't > > > note > > > down what changeset I used for testing my setup). > > Classic JDK 8 from Oracle and OpenJDK 11 (e.g. from AdoptOpenJDK) > > are > > different in many ways, and it is definitely required to get used > > to the > > new look of font rendering. (For me Isabelle2018 already looks very > > strange.) > > > > With proper parameters -- in software and hardware -- fonts should > > come > > out better than before. > > > > > > First of all, sub-pixel rendering should be enabled, see this NEWS > > entry > > from Isabelle/f714114b0571 (25-Oct-2018): > > > > *** Isabelle/jEdit Prover IDE *** > > > > * Improved sub-pixel font rendering (especially on Linux), thanks > > to > > OpenJDK 11. > > > > (In Java 8, sub-pixel rendering made things worse.) > > > > Since that that NEWS entry is a bit too implicit, I have now > > changed the > > default to enable "Subpixel HRGB" always on all platforms > > (Isabelle/f610115ca3d0). I have checked my usual test machines for > > Windows and macOS, to see that it all looks fine. > > > > > > Secondly, I have done some more research on FreeType, the renderer > > used > > for OpenJDK on Linux. It appears that the DejaVu family gets some > > special treatment if it shows up under its original name, but not > > if it > > is a renamed copy. So 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 should be once again slightly better on > > Linux. > > > > * There is a small risk that it has slightly degraded on Windows > > and > > macOS. > > > > In other words: early adopters should look closely if it is all > > fine. We > > are (very slowly) moving towards the Isabelle2019 release > > (presumably > > June 2019), and everything needs to be beyond doubt when released. > > > > > > Makarius > > > ___ > isabelle-dev mailing list > isabelle-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabel > le-dev ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
This is just to confirm that the result looks really great on my linux (Fedora 29 with i3) setup. Thanks! chris On 2/10/19 7:47 PM, Makarius wrote: > On 08/02/2019 10:03, Christian Sternagel wrote: >> >> I am glad to hear that others have the same experience, I thought my >> eyes were going bad ;) >> >> But seriously, "buy a new screen" is not always possible. For example, >> in the upcoming summer term I am teaching an Isabelle class at the >> University of Innsbruck. In my experience (and I just reconfirmed this >> for the room I will be teaching in), the projectors we have here a >> typically rather old (and have low resolution, but that is a different >> story). >> >> At the moment there is a palpable difference (font rendering crispness >> wise) between using Isabelle2018 with projector (which I will do anyway >> for my class) and some recent development version (sorry I didn't note >> down what changeset I used for testing my setup). > > Classic JDK 8 from Oracle and OpenJDK 11 (e.g. from AdoptOpenJDK) are > different in many ways, and it is definitely required to get used to the > new look of font rendering. (For me Isabelle2018 already looks very > strange.) > > With proper parameters -- in software and hardware -- fonts should come > out better than before. > > > First of all, sub-pixel rendering should be enabled, see this NEWS entry > from Isabelle/f714114b0571 (25-Oct-2018): > > *** Isabelle/jEdit Prover IDE *** > > * Improved sub-pixel font rendering (especially on Linux), thanks to > OpenJDK 11. > > (In Java 8, sub-pixel rendering made things worse.) > > Since that that NEWS entry is a bit too implicit, I have now changed the > default to enable "Subpixel HRGB" always on all platforms > (Isabelle/f610115ca3d0). I have checked my usual test machines for > Windows and macOS, to see that it all looks fine. > > > Secondly, I have done some more research on FreeType, the renderer used > for OpenJDK on Linux. It appears that the DejaVu family gets some > special treatment if it shows up under its original name, but not if it > is a renamed copy. So 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 should be once again slightly better on Linux. > > * There is a small risk that it has slightly degraded on Windows and > macOS. > > In other words: early adopters should look closely if it is all fine. We > are (very slowly) moving towards the Isabelle2019 release (presumably > June 2019), and everything needs to be beyond doubt when released. > > > Makarius > ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
On 05/02/2019 20:19, Makarius wrote: > On 05.02.19 11:43, Peter Lammich wrote: >> >> Is this worsening due to another Java version, due to the new Isabelle >> font, or has it some other reasons? How to find out? > > From a distance, I would say that this is a matter of the Java 11 > font-renderer, which is provided by https://adoptopenjdk.net. The one by > Oracle is much worse -- OpenJdk not the non-free Java. (Note that the > license change of non-free Oracle Java no longer allows to bundle it.) Even more, JDK 11 from Oracle is now distributed as non-free: users have to pay a subscription to use it in applications. Only some testing and development is allowed without extra payment. (See https://www.oracle.com/technetwork/java/javase/terms/license/javase-license.html). Java 8 is being phased out after Jan-2019. Since the Java community is notoriously slow in giving up legacy versions, there will be a bit more time to hold the breath and pretend that nothing has happened. In contrast, Isabelle is already on Java 11: it performs much better than Java 8, especially on high-end hardware with many cores (potentially also on "containers" like Docker). I have already seen some Isabelle/Scala scalability problems some months ago; luckily this has been resolved with Java 11. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
On 08/02/2019 10:03, Christian Sternagel wrote: > > I am glad to hear that others have the same experience, I thought my > eyes were going bad ;) > > But seriously, "buy a new screen" is not always possible. For example, > in the upcoming summer term I am teaching an Isabelle class at the > University of Innsbruck. In my experience (and I just reconfirmed this > for the room I will be teaching in), the projectors we have here a > typically rather old (and have low resolution, but that is a different > story). > > At the moment there is a palpable difference (font rendering crispness > wise) between using Isabelle2018 with projector (which I will do anyway > for my class) and some recent development version (sorry I didn't note > down what changeset I used for testing my setup). Classic JDK 8 from Oracle and OpenJDK 11 (e.g. from AdoptOpenJDK) are different in many ways, and it is definitely required to get used to the new look of font rendering. (For me Isabelle2018 already looks very strange.) With proper parameters -- in software and hardware -- fonts should come out better than before. First of all, sub-pixel rendering should be enabled, see this NEWS entry from Isabelle/f714114b0571 (25-Oct-2018): *** Isabelle/jEdit Prover IDE *** * Improved sub-pixel font rendering (especially on Linux), thanks to OpenJDK 11. (In Java 8, sub-pixel rendering made things worse.) Since that that NEWS entry is a bit too implicit, I have now changed the default to enable "Subpixel HRGB" always on all platforms (Isabelle/f610115ca3d0). I have checked my usual test machines for Windows and macOS, to see that it all looks fine. Secondly, I have done some more research on FreeType, the renderer used for OpenJDK on Linux. It appears that the DejaVu family gets some special treatment if it shows up under its original name, but not if it is a renamed copy. So 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 should be once again slightly better on Linux. * There is a small risk that it has slightly degraded on Windows and macOS. In other words: early adopters should look closely if it is all fine. We are (very slowly) moving towards the Isabelle2019 release (presumably June 2019), and everything needs to be beyond doubt when released. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
Dear all, I am glad to hear that others have the same experience, I thought my eyes were going bad ;) But seriously, "buy a new screen" is not always possible. For example, in the upcoming summer term I am teaching an Isabelle class at the University of Innsbruck. In my experience (and I just reconfirmed this for the room I will be teaching in), the projectors we have here a typically rather old (and have low resolution, but that is a different story). At the moment there is a palpable difference (font rendering crispness wise) between using Isabelle2018 with projector (which I will do anyway for my class) and some recent development version (sorry I didn't note down what changeset I used for testing my setup). cheers chris On 2/5/19 11:43 AM, Peter Lammich wrote: > Hi list, > > I just updated my Isabelle devel version (now on d21789843f01), and > immediately noticed that the displayed fonts are significantly blurry. > > Find attached a side-by-side comparison of Isabelle-d21789843f01 (left) > and Isabelle-2018 (right). At least on my monitor, the font display on > the left side is significantly worse (blurred). Both use font size 18 > with standard anti-aliasing method. > > > Is this worsening due to another Java version, due to the new Isabelle > font, or has it some other reasons? How to find out? How to fix it? > > > -- > Peter > > > ___ > isabelle-dev mailing list > isabelle-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev > ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
On 05.02.19 20:19, Makarius wrote: From a distance, I would say that this is a matter of the Java 11 font-renderer, which is provided by https://adoptopenjdk.net. The one by Oracle is much worse -- OpenJdk not the non-free Java. (Note that the license change of non-free Oracle Java no longer allows to bundle it.) For completeness, this is how to experiment with different versions of JDK, e.g. the one that Ubuntu 18.04 provides as the "openjdk-11" package family: ISABELLE_JDK_HOME="/usr/lib/jvm/java-11-openjdk-amd64" in $ISABELLE_HOME_USER/etc/settings as usual. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
On 05.02.19 11:43, Peter Lammich wrote: I just updated my Isabelle devel version (now on d21789843f01), and immediately noticed that the displayed fonts are significantly blurry. Find attached a side-by-side comparison of Isabelle-d21789843f01 (left) and Isabelle-2018 (right). At least on my monitor, the font display on the left side is significantly worse (blurred). Both use font size 18 with standard anti-aliasing method. Is this worsening due to another Java version, due to the new Isabelle font, or has it some other reasons? How to find out? From a distance, I would say that this is a matter of the Java 11 font-renderer, which is provided by https://adoptopenjdk.net. The one by Oracle is much worse -- OpenJdk not the non-free Java. (Note that the license change of non-free Oracle Java no longer allows to bundle it.) You can find out yourself by trying the IsabelleText font that is distributed with Isabelle2018: the ttf files need to go into ~/.fonts on Ubuntu; or elsewhere on other systems. It is important to remove the fonts after the experiment! Generally, the new fonts should be slightly better than before: the quality should be that of the original Deja Vu fonts without any censorship. I merely trim it to a well-defined collection of glyphs and add our Isabelle math symbols from the TeX family -- see "isabelle build_fonts" (e.g. in Isabelle/2c3e5e58d93f). > How to fix it? You know already that "fix" and "bug" is not in my vocabulary -- I don't use such street language. On up-to-date UHD displays the quality should of the new Java 11 + new fonts should be higher than ever before, so you can improve your overall situation by getting a new display. My huge UHD display at home was actually quite cheap: approx. 350 EUR. I do see the slight blurring on my ancient HD Sony Vaio from 2013, but I am not using that very often. Buying a new laptop is certainly more expensive than just a display -- nonetheless I am surprised how many 100 EUR displays are still standing on desks and stared at every day. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev