Re: [isabelle-dev] font issues in Isabelle jedit
> On 2 Jan 2018, at 19:21, Makariuswrote: > > I have changed the fonts again recently, see Isabelle/ecb74607063f. I've > made a brief test on my MacMini with High Sierra, and it appears to work. > > > Normally "isabelle components -a" should give you the resulting ttf > files, and Isabelle/jEdit should pick them up. > > This can be prevented by having IsabelleText.ttf / IsabelleTextBold.ttf > installed on the system by accident (on macOS in some Library/Fonts > directory, FontBook should be able to tell you). You should remove such > spurious copies of the Isabelle fonts. I didn’t have any copies in those places, but I deleted all the copies in the contib directory, did “hg fetch” and finally ~/isabelle/Repos/src/HOL: isabelle components -a ### Missing Isabelle component: "/Users/lp15/.isabelle/contrib/isabelle_fonts-20171230" Getting "https://isabelle.in.tum.de/components/isabelle_fonts-20171230.tar.gz; Unpacking "/Users/lp15/.isabelle/contrib/isabelle_fonts-20171230.tar.gz" ~/isabelle/Repos/src/HOL: hg id 17fdb2c98083 tip But after letting the system build again, the result is the same as before. Larry ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] font issues in Isabelle jedit
On 02/01/18 19:34, Lawrence Paulson wrote: > Fonts have been weird for me for some time (clearly wider than jedit “thinks” > they are) but now symbols are completely missing. E.g. I see > > have "integral UNIV (indicator (S \ T)) = integral UNIV (\a. > if a \ S \ T then 1::real else 0)" > > Any idea what could be wrong? I’m using > >> 6afba546f0e5 tip I have changed the fonts again recently, see Isabelle/ecb74607063f. I've made a brief test on my MacMini with High Sierra, and it appears to work. Normally "isabelle components -a" should give you the resulting ttf files, and Isabelle/jEdit should pick them up. This can be prevented by having IsabelleText.ttf / IsabelleTextBold.ttf installed on the system by accident (on macOS in some Library/Fonts directory, FontBook should be able to tell you). You should remove such spurious copies of the Isabelle fonts. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
[isabelle-dev] font issues in Isabelle jedit
Fonts have been weird for me for some time (clearly wider than jedit “thinks” they are) but now symbols are completely missing. E.g. I see have "integral UNIV (indicator (S \ T)) = integral UNIV (\a. if a \ S \ T then 1::real else 0)" Any idea what could be wrong? I’m using > 6afba546f0e5 tip Larry ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev