> On 2 Jan 2018, at 19:21, Makarius wrote:
>
> 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/jEd
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)"
>
> A
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 ti