<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div><blockquote type="cite" class=""><div class="">On 2 Jan 2018, at 19:21, Makarius <<a href="mailto:makarius@sketis.net" class="">makarius@sketis.net</a>> wrote:</div><div class=""><div class=""><br class="">I have changed the fonts again recently, see Isabelle/ecb74607063f. I've<br class="">made a brief test on my MacMini with High Sierra, and it appears to work.<br class=""><br class=""><br class="">Normally "isabelle components -a" should give you the resulting ttf<br class="">files, and Isabelle/jEdit should pick them up.<br class=""><br class="">This can be prevented by having IsabelleText.ttf / IsabelleTextBold.ttf<br class="">installed on the system by accident (on macOS in some Library/Fonts<br class="">directory, FontBook should be able to tell you). You should remove such<br class="">spurious copies of the Isabelle fonts.<br class=""></div></div></blockquote><div><br class=""></div><div>I didn’t have any copies in those places, but I deleted all the copies in the contib directory, did “hg fetch” and finally</div><div><br class=""></div><div><div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Consolas; background-color: rgb(209, 253, 255);" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">~/isabelle/Repos/src/HOL: isabelle components -a</span></div><div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Consolas; background-color: rgb(209, 253, 255);" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">### Missing Isabelle component: "/Users/lp15/.isabelle/contrib/isabelle_fonts-20171230"</span></div><div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Consolas; background-color: rgb(209, 253, 255);" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">Getting "<a href="https://isabelle.in.tum.de/components/isabelle_fonts-20171230.tar.gz" class="">https://isabelle.in.tum.de/components/isabelle_fonts-20171230.tar.gz</a>"</span></div><div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Consolas; background-color: rgb(209, 253, 255);" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">Unpacking "/Users/lp15/.isabelle/contrib/isabelle_fonts-20171230.tar.gz"</span></div><div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Consolas; background-color: rgb(209, 253, 255);" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">~/isabelle/Repos/src/HOL: hg id</span></div><div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Consolas; background-color: rgb(209, 253, 255);" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">17fdb2c98083 tip</span></div><div class=""><span style="font-variant-ligatures: no-common-ligatures" class=""><br class=""></span></div><div class="">But after letting the system build again, the result is the same as before.</div><div class=""><br class=""></div><div class="">Larry</div><div class=""><br class=""></div></div></div></body></html>